03/19: gnu: isl: Update to 0.24.

[guix-commits]

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

commit 6c80f4949fa1a5aa766f7f3834d75463b77cd107
Author: Marius Bakke <marius@gnu.org>
AuthorDate: Sun Jun 26 13:49:27 2022 +0200

    gnu: isl: Update to 0.24.
    
    * gnu/packages/gcc.scm (isl): Update to 0.24.
    [source](uri): Use new .xz tarball.
---
 gnu/packages/gcc.scm | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index cd144772b8..5fc3159136 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -1204,17 +1204,17 @@ provides the GNU compiler for the Go programming 
language."))
 (define-public isl
   (package
     (name "isl")
-    (version "0.23")
+    (version "0.24")
     (source (origin
              (method url-fetch)
              ;; Used to be at isl.gforge.inria.fr.
              (uri (list (string-append "mirror://sourceforge/libisl/isl-"
-                                       version ".tar.bz2")
+                                       version ".tar.xz")
                         (string-append %gcc-infrastructure
-                                       "isl-" version ".tar.bz2")))
+                                       "isl-" version ".tar.xz")))
              (sha256
               (base32
-               "0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5"))))
+               "1bgbk6n93qqn7w8v21kxf4x6dc3z0ypqrzvgfd46nhagak60ac84"))))
     (build-system gnu-build-system)
     (outputs '("out" "static"))
     (arguments