summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorMarius Bakke <marius@gnu.org>2022-06-26 13:49:27 +0200
committerMarius Bakke <marius@gnu.org>2022-06-26 22:58:33 +0200
commit6c80f4949fa1a5aa766f7f3834d75463b77cd107 (patch)
treef699dfac97e74b54e951cdbd464908b3388d2cf9 /gnu/packages
parentd163943b23f70c941a28ccf439f048a09c07cba8 (diff)
gnu: isl: Update to 0.24.
* gnu/packages/gcc.scm (isl): Update to 0.24. [source](uri): Use new .xz tarball.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/gcc.scm8
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