1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768 |
- <?xml version="1.0" ?>
- <!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
- <PISI>
- <Source>
- <Name>libsigsegv</Name>
- <Homepage>http://libsigsegv.sourceforge.net/</Homepage>
- <Packager>
- <Name>PisiLinux Community</Name>
- <Email>admins@pisilinux.org</Email>
- </Packager>
- <License>GPLv2</License>
- <IsA>library</IsA>
- <Summary>A library for handling page faults in user mode</Summary>
- <Description>This is a library for handling page faults in user mode. A page fault occurs when a program tries to access to a region of memory that is currently not available.</Description>
- <Archive sha1sum="b75a647a9ebda70e7a3b33583efdd550e0eac094" type="targz">mirrors://gnu/libsigsegv/libsigsegv-2.10.tar.gz</Archive>
- </Source>
- <Package>
- <Name>libsigsegv</Name>
- <Files>
- <Path fileType="library">/usr/lib</Path>
- <Path fileType="doc">/usr/share/doc</Path>
- </Files>
- </Package>
- <Package>
- <Name>libsigsegv-devel</Name>
- <Summary>Development files for libsigsegv</Summary>
- <RuntimeDependencies>
- <Dependency release="current">libsigsegv</Dependency>
- </RuntimeDependencies>
- <Files>
- <Path fileType="header">/usr/include</Path>
- </Files>
- </Package>
- <History>
- <Update release="4">
- <Date>2018-07-15</Date>
- <Version>2.10</Version>
- <Comment>Rebuild</Comment>
- <Name>Ertuğrul Erata</Name>
- <Email>ertugrulerata@gmail.com</Email>
- </Update>
- <Update release="3">
- <Date>2017-01-24</Date>
- <Version>2.10</Version>
- <Comment>Version bump.</Comment>
- <Name>Ertuğrul Erata</Name>
- <Email>ertugrulerata@gmail.com</Email>
- </Update>
- <Update release="2">
- <Date>2016-04-27</Date>
- <Version>2.10</Version>
- <Comment>Release Bump</Comment>
- <Name>PisiLinux Community</Name>
- <Email>admin@pisilinux.org</Email>
- </Update>
- <Update release="1">
- <Date>2016-03-13</Date>
- <Version>2.10</Version>
- <Comment>First release</Comment>
- <Name>Ertuğrul Erata</Name>
- <Email>ertugrulerata@gmail.com</Email>
- </Update>
- </History>
- </PISI>
|