gnu: isl: Update to 0.23.

* gnu/packages/gcc.scm (isl): Update to 0.23.
This commit is contained in:
Marius Bakke 2020-12-15 22:42:15 +01:00
parent 3839b5d536
commit f0c20da7d9
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -916,7 +916,7 @@ (define-public libstdc++-doc-9
(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 @@ (define-public isl
name "-" version ".tar.bz2")))
(sha256
(base32
"1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
"0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5"))))
(build-system gnu-build-system)
(outputs '("out" "static"))
(arguments