ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 12:39:36 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: isl: Update to 0.24.

Browse source 
* gnu/packages/gcc.scm (isl): Update to 0.24.
[source](uri): Use new .xz tarball.
This commit is contained in:
Marius Bakke 2022-06-26 13:49:27 +02:00
parent d163943b23
commit 6c80f4949f
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gnu/packages/gcc.scm
View file

@ -1204,17 +1204,17 @@ (define-public libstdc++-doc-9
(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