[Lunar-commits] <moonbase-other> isl: version bumped to 0.12.

[Florin Braescu]

commit 977722bbcbc41b3c19df76c5943ded58e067001e
Author: Florin Braescu <florin at lunar-linux.org>
Date: Tue, 25 Jun 2013 07:26:35 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/977722bbcbc41b3c19df76c5943ded58e067001e

isl: version bumped to 0.12.
---
  libs/isl/DETAILS | +7/-7     
  1 file changed, 7 insertions(+), 7 deletions(-)

--- a/libs/isl/DETAILS
+++ b/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