@@ -51,6 +51,13 @@
|
|||||||
</Package>
|
</Package>
|
||||||
|
|
||||||
<History>
|
<History>
|
||||||
|
<Update release="10">
|
||||||
|
<Date>2016-03-13</Date>
|
||||||
|
<Version>0.18.4</Version>
|
||||||
|
<Comment>Rebuild with new toolchain.</Comment>
|
||||||
|
<Name>Alihan Öztürk</Name>
|
||||||
|
<Email>alihan@pisilinux.org</Email>
|
||||||
|
</Update>
|
||||||
<Update release="9">
|
<Update release="9">
|
||||||
<Date>2016-01-27</Date>
|
<Date>2016-01-27</Date>
|
||||||
<Version>0.18.4</Version>
|
<Version>0.18.4</Version>
|
||||||
|
|||||||
@@ -59,6 +59,13 @@
|
|||||||
</Package>
|
</Package>
|
||||||
|
|
||||||
<History>
|
<History>
|
||||||
|
<Update release="8">
|
||||||
|
<Date>2016-03-13</Date>
|
||||||
|
<Version>3.1.2</Version>
|
||||||
|
<Comment>Rebuild with new toolchain.</Comment>
|
||||||
|
<Name>Alihan Öztürk</Name>
|
||||||
|
<Email>alihan@pisilinux.org</Email>
|
||||||
|
</Update>
|
||||||
<Update release="7">
|
<Update release="7">
|
||||||
<Date>2015-07-05</Date>
|
<Date>2015-07-05</Date>
|
||||||
<Version>3.1.2</Version>
|
<Version>3.1.2</Version>
|
||||||
|
|||||||
@@ -13,7 +13,7 @@
|
|||||||
<IsA>library</IsA>
|
<IsA>library</IsA>
|
||||||
<Summary>Pharma Polyhedra library</Summary>
|
<Summary>Pharma Polyhedra library</Summary>
|
||||||
<Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
|
<Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
|
||||||
<Archive sha1sum="d24a9e95c22459b396820109c9bc195f35e60640" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.1/ppl-1.1.tar.xz</Archive>
|
<Archive sha1sum="56c3e4cf3be90e11dfdd877b449adedc26cd8ec9" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz</Archive>
|
||||||
<BuildDependencies>
|
<BuildDependencies>
|
||||||
<!-- gmp with cxx support is needed -->
|
<!-- gmp with cxx support is needed -->
|
||||||
<Dependency>gmp-devel</Dependency>
|
<Dependency>gmp-devel</Dependency>
|
||||||
@@ -57,6 +57,7 @@
|
|||||||
<RuntimeDependencies>
|
<RuntimeDependencies>
|
||||||
<Dependency release="current">ppl</Dependency>
|
<Dependency release="current">ppl</Dependency>
|
||||||
<Dependency>gmp-devel</Dependency>
|
<Dependency>gmp-devel</Dependency>
|
||||||
|
<Dependency>libgcc</Dependency>
|
||||||
</RuntimeDependencies>
|
</RuntimeDependencies>
|
||||||
<Files>
|
<Files>
|
||||||
<Path fileType="executable">/usr/bin/ppl-config</Path>
|
<Path fileType="executable">/usr/bin/ppl-config</Path>
|
||||||
@@ -67,6 +68,13 @@
|
|||||||
</Package>
|
</Package>
|
||||||
|
|
||||||
<History>
|
<History>
|
||||||
|
<Update release="8">
|
||||||
|
<Date>2016-03-13</Date>
|
||||||
|
<Version>1.2</Version>
|
||||||
|
<Comment>Version bump.</Comment>
|
||||||
|
<Name>Alihan Öztürk</Name>
|
||||||
|
<Email>alihan@pisilinux.org</Email>
|
||||||
|
</Update>
|
||||||
<Update release="7">
|
<Update release="7">
|
||||||
<Date>2014-09-06</Date>
|
<Date>2014-09-06</Date>
|
||||||
<Version>1.1</Version>
|
<Version>1.1</Version>
|
||||||
|
|||||||
Reference in New Issue
Block a user