Skip to content
Browse files

isl: version bumped to 0.12.

  • Loading branch information...
1 parent bde0bea commit 977722bbcbc41b3c19df76c5943ded58e067001e @Florin65 Florin65 committed
Showing with 7 additions and 7 deletions.
  1. +7 −7 libs/isl/DETAILS
View
14 libs/isl/DETAILS
@@ -1,17 +1,17 @@
MODULE=isl
- VERSION=0.11.1
+ VERSION=0.12
SOURCE=$MODULE-$VERSION.tar.bz2
- SOURCE_URL=ftp://gcc.gnu.org/pub/gcc/infrastructure/
- SOURCE_VFY=sha1:d7936929c3937e03f09b64c3c54e49422fa8ddb3
+ SOURCE_URL=http://www.kotnet.org/~skimo/$MODULE
+ SOURCE_VFY=sha1:f694b741530676cd1ea27a6437bd090c69e61455
WEB_SITE=http://groups.google.com/group/isl-development
ENTERED=20130517
- UPDATED=20130517
- SHORT="isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints."
+ UPDATED=20130625
+ SHORT="isl is a thread-safe C library for manipulating sets and relations of integer points"
cat << EOF
isl is a thread-safe C library for manipulating sets and relations
-of integer points bounded by affine constraints. The descriptions of
+of integer points bounded by affine constraints. The descriptions of
the sets and relations may involve both parameters and existentially
-quantified variables. All computations are performed in exact integer
+quantified variables. All computations are performed in exact integer
arithmetic using GMP.
EOF

0 comments on commit 977722b

Please sign in to comment.
Something went wrong with that request. Please try again.