diff options
author | Marius Bakke <marius@gnu.org> | 2022-06-26 13:49:27 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2022-06-26 22:58:33 +0200 |
commit | 6c80f4949fa1a5aa766f7f3834d75463b77cd107 (patch) | |
tree | f699dfac97e74b54e951cdbd464908b3388d2cf9 | |
parent | d163943b23f70c941a28ccf439f048a09c07cba8 (diff) |
gnu: isl: Update to 0.24.
* gnu/packages/gcc.scm (isl): Update to 0.24.
[source](uri): Use new .xz tarball.
-rw-r--r-- | gnu/packages/gcc.scm | 8 |
1 files 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 |