06/12: gnu: isl: Update to 0.23.

[guix-commits]

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

commit f0c20da7d995af4f76982abc89c8d194e393c3e4
Author: Marius Bakke <marius@gnu.org>
AuthorDate: Tue Dec 15 22:42:15 2020 +0100

    gnu: isl: Update to 0.23.
    
    * gnu/packages/gcc.scm (isl): Update to 0.23.
---
 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 18aaa0b..9b2a555 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -916,7 +916,7 @@ provides the GNU compiler for the Go programming 
language."))
 (define-public isl
   (package
     (name "isl")
-    (version "0.22.1")
+    (version "0.23")
     (source (origin
              (method url-fetch)
              (uri (list (string-append
@@ -927,7 +927,7 @@ provides the GNU compiler for the Go programming 
language."))
                                        name "-" version ".tar.bz2")))
              (sha256
               (base32
-               "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
+               "0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5"))))
     (build-system gnu-build-system)
     (outputs '("out" "static"))
     (arguments