isl update

This commit is contained in:
Ertuğrul Erata
2017-01-27 11:26:37 +03:00
parent b076a8aa97
commit e87e88ab9e
+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="c5a2b201bf05229647e73203c0bf2d9679d4d21f" type="tarbz2">http://isl.gforge.inria.fr/isl-0.16.1.tar.bz2</Archive>
<Archive sha1sum="bbffc5a2b05e4f0c97e882f96c448504491dc4ed" type="tarbz2">http://isl.gforge.inria.fr/isl-0.18.tar.bz2</Archive>
<BuildDependencies>
<Dependency>gmp-devel</Dependency>
</BuildDependencies>
@@ -42,6 +42,13 @@
</Package>
<History>
<Update release="3">
<Date>2017-01-27</Date>
<Version>0.18</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>0.16.1</Version>