summaryrefslogtreecommitdiff
path: root/gnu/packages/gcc.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-01-31 14:10:02 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-02-06 18:37:59 +0100
commit4a0c71f9f70fd2f2891848e272b3f81e3fabcf86 (patch)
treeec0832137ae0bc48e80b9a0e3c7ae024eba2680d /gnu/packages/gcc.scm
parentb9a3654e09948d56945f8f6aa68de5183d17df9b (diff)
gnu: isl: Update to 0.22.1.
* gnu/packages/gcc.scm (isl): Update to 0.22.1.
Diffstat (limited to 'gnu/packages/gcc.scm')
-rw-r--r--gnu/packages/gcc.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 40cc9ed631..94f7e15382 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -871,7 +871,7 @@ as the 'native-search-paths' field."
(define-public isl
(package
(name "isl")
- (version "0.21")
+ (version "0.22.1")
(source (origin
(method url-fetch)
(uri (list (string-append
@@ -882,7 +882,7 @@ as the 'native-search-paths' field."
name "-" version ".tar.bz2")))
(sha256
(base32
- "0ng8l3q1px9lkzb44nxnzhh6fhdbclrwng9xs2v9m8yii8gs336i"))))
+ "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
(build-system gnu-build-system)
(inputs `(("gmp" ,gmp)))
(home-page "http://isl.gforge.inria.fr/")