ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 22:08:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: isl: Update to 0.21.

Browse source 
* gnu/packages/gcc.scm (isl): Update to 0.21.
This commit is contained in:
Marius Bakke 2019-06-20 14:41:41 +02:00
parent 9f1da6ced3
commit 8449cc133a
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/gcc.scm
View file

@ -860,7 +860,7 @@ (define-public libstdc++-doc-9
(define-public isl
(package
(name "isl")
(version "0.19")
(version "0.21")
(source (origin
(method url-fetch)
(uri (list (string-append
@ -871,7 +871,7 @@ (define-public isl
name "-" version ".tar.bz2")))
(sha256
(base32
"1n4yz9rj24mv226hqbpw210ifvqkn8dgvpnkzf0s0lkq9zrjd5ym"))))
"0ng8l3q1px9lkzb44nxnzhh6fhdbclrwng9xs2v9m8yii8gs336i"))))
(build-system gnu-build-system)
(inputs `(("gmp" ,gmp)))
(home-page "http://isl.gforge.inria.fr/")