gnu: isl: Update to 0.22.1.

* gnu/packages/gcc.scm (isl): Update to 0.22.1.
2020-01-31 14:10:02 +01:00 · 2020-01-31 14:10:02 +01:00 · 4a0c71f9f7
commit 4a0c71f9f7
parent b9a3654e09
1 changed files with 2 additions and 2 deletions
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@ -871,7 +871,7 @@ (define-public libstdc++-doc-9
 (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 @@ (define-public isl
                                       name "-" version ".tar.bz2")))
             (sha256
              (base32
-               "0ng8l3q1px9lkzb44nxnzhh6fhdbclrwng9xs2v9m8yii8gs336i"))))
+               "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
    (build-system gnu-build-system)
    (inputs `(("gmp" ,gmp)))
    (home-page "http://isl.gforge.inria.fr/")