isl:update

This commit is contained in:
alihanozturk
2016-01-27 23:51:34 +02:00
parent f41eda3107
commit 9069618d2a
+8 -1
View File
@@ -12,7 +12,7 @@
<IsA>library</IsA>
<Summary>Integer Set Library</Summary>
<Description>isl is a library for manipulating sets and relations of integer points bounded by linear constraints.</Description>
<Archive sha1sum="3904274c84fb3068e4f59b6a6b0fe29e7a2b7010" type="tarbz2">http://isl.gforge.inria.fr/isl-0.13.tar.bz2</Archive>
<Archive sha1sum="c5a2b201bf05229647e73203c0bf2d9679d4d21f" type="tarbz2">http://isl.gforge.inria.fr/isl-0.16.1.tar.bz2</Archive>
<BuildDependencies>
<Dependency>gmp-devel</Dependency>
</BuildDependencies>
@@ -42,6 +42,13 @@
</Package>
<History>
<Update release="9">
<Date>2016-01-27</Date>
<Version>0.16.1</Version>
<Comment>Version bump.</Comment>
<Name>Alihan Öztürk</Name>
<Email>alihan@pisilinux.org</Email>
</Update>
<Update release="8">
<Date>2015-05-05</Date>
<Version>0.13</Version>