02/04: gnu: isl: Update to 0.22.1.

[guix-commits]

mbakke pushed a commit to branch core-updates
in repository guix.

commit 4a0c71f9f70fd2f2891848e272b3f81e3fabcf86
Author: Marius Bakke <address@hidden>
AuthorDate: Fri Jan 31 14:10:02 2020 +0100

    gnu: isl: Update to 0.22.1.
    
    * gnu/packages/gcc.scm (isl): Update to 0.22.1.
---
 gnu/packages/gcc.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 40cc9ed..94f7e15 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/";)