[Lunar-commits] <moonbase-other> Revert "isl: version bump to 0.13"

[Stefan Wold]

commit 1ec8c5e9bacade1fa732e1568fb3cbfdd2b52613
Author: Stefan Wold <ratler at lunar-linux.org>
Date: Sat, 23 Aug 2014 14:55:30 +0200
URL: https://github.com/lunar-linux/moonbase-other/commit/1ec8c5e9bacade1fa732e1568fb3cbfdd2b52613

Revert "isl: version bump to 0.13"

This bump currently breaks gcc.

This reverts commit 0097ff650c522aada77f7525f146f2af98b080c8.
---
  libs/isl/DETAILS | +4/-4     
  1 file changed, 4 insertions(+), 4 deletions(-)

--- a/libs/isl/DETAILS
+++ b/libs/isl/DETAILS
@@ -1,11 +1,11 @@
           MODULE=isl
-         VERSION=0.13
-          SOURCE=$MODULE-$VERSION.tar.xz
+         VERSION=0.12.2
+          SOURCE=$MODULE-$VERSION.tar.bz2
       SOURCE_URL=http://isl.gforge.inria.fr
-      SOURCE_VFY=sha256:ef500e595aa307f980f941069aa569f569374ac3b170a1dc17bec1b12d2c2317
+      SOURCE_VFY=sha1:ca98a91e35fb3ded10d080342065919764d6f928
         WEB_SITE=http://isl.gforge.inria.fr
          ENTERED=20130517
-         UPDATED=20140817
+         UPDATED=20140329
            SHORT="isl is a thread-safe C library for manipulating sets and relations of integer points"
 
 cat << EOF