<?xml version="1.0" ?>
<!DOCTYPE INARY SYSTEM "https://raw.githubusercontent.com/Zaryob/inary/master/inary-spec.dtd">
<INARY>
    <Source>
        <Name>ppl</Name>
        <Homepage>http://www.cs.unipr.it/ppl/</Homepage>
        <Packager>
            <Name>Süleyman POYRAZ</Name>
            <Email>zaryob.dev@gmail.com</Email>
        </Packager>
        <License>GPLv3</License>
        <IsA>app:console</IsA>
        <IsA>library</IsA>
        <PartOf>system.devel</PartOf>
        <Summary>Pharma Polyhedra library</Summary>
        <Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
        <Archive sha1sum="56c3e4cf3be90e11dfdd877b449adedc26cd8ec9" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz</Archive>
        <BuildDependencies>
            <Dependency>gmp-devel</Dependency>
            <Dependency>glpk-devel</Dependency>
        </BuildDependencies>
    </Source>

    <Package>
        <Name>ppl</Name>
        <RuntimeDependencies>
            <Dependency>gmp</Dependency>
            <Dependency>glpk</Dependency>
            <Dependency>libgcc</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="executable">/usr/bin/ppl_lcdd</Path>
            <Path fileType="executable">/usr/bin/ppl_lpsol</Path>
            <Path fileType="executable">/usr/bin/ppl_pips</Path>
            <Path fileType="library">/usr/lib</Path>
            <Path fileType="doc">/usr/share/doc/COPYING</Path>
            <Path fileType="doc">/usr/share/doc/CREDITS</Path>
            <Path fileType="doc">/usr/share/doc/README</Path>
            <Path fileType="doc">/usr/share/doc/NEWS</Path>
        </Files>
    </Package>

    <Package>
        <Name>ppl-docs</Name>
        <IsA>data:doc</IsA>
        <PartOf>system.doc</PartOf>
        <Summary>Documentation for ppl</Summary>
        <RuntimeDependencies>
            <Dependency>ppl</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="doc">/usr/share/doc/ppl</Path>
        </Files>
    </Package>

    <Package>
        <Name>ppl-devel</Name>
        <Summary>Development files for ppl</Summary>
        <RuntimeDependencies>
            <Dependency release="current">ppl</Dependency>
            <Dependency>gmp-devel</Dependency>
            <Dependency>libgcc</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="executable">/usr/bin/ppl-config</Path>
            <Path fileType="header">/usr/include</Path>
            <Path fileType="data">/usr/share/aclocal</Path>
        </Files>
    </Package>
    <Package>
        <Name>ppl-pages</Name>
        <IsA>data:doc</IsA>
        <PartOf>system.doc</PartOf>
        <Summary>Man pages for ppl package.</Summary>
        <RuntimeDependencies>
            <Dependency release="current">ppl</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="man">/usr/share/man/</Path>
        </Files>
    </Package>

    <History>
        <Update release="2">
            <Date>2019-09-25</Date>
            <Version>1.2</Version>
            <Comment>Package is rebuilded and released up.</Comment>
            <Name>Süleyman Poyraz</Name>
            <Email>zaryob.dev@gmail.com</Email>
        </Update>
        <Update release="1">
            <Date>2018-12-28</Date>
            <Version>1.2</Version>
            <Comment>First release</Comment>
            <Name>Süleyman POYRAZ</Name>
            <Email>zaryob.dev@gmail.com</Email>
        </Update>
    </History>
</INARY>
