TakeV/guix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

gnu: isl: Fix fallback URL.

Browse source 
* gnu/packages/gcc.scm (isl, isl-0.18, isl-0.11)[source](uri): Use '.bz2' tarball.
This commit is contained in:
Marius Bakke 2019-06-20 14:39:58 +02:00
parent 1bd364364d
commit 9f1da6ced3
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/gcc.scm
View file

@ -868,7 +868,7 @@ (define-public isl
version
".tar.bz2")
(string-append %gcc-infrastructure
name "-" version ".tar.gz")))
name "-" version ".tar.bz2")))
(sha256
(base32
"1n4yz9rj24mv226hqbpw210ifvqkn8dgvpnkzf0s0lkq9zrjd5ym"))))
@ -898,7 +898,7 @@ (define-public isl-0.18
(uri (list (string-append "http://isl.gforge.inria.fr/isl-"
version ".tar.bz2")
(string-append %gcc-infrastructure
"isl-" version ".tar.gz")))
"isl-" version ".tar.bz2")))
(sha256
(base32
"06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))))
@ -915,7 +915,7 @@ (define-public isl-0.11
version
".tar.bz2")
(string-append %gcc-infrastructure
name "-" version ".tar.gz")))
name "-" version ".tar.bz2")))
(sha256
(base32
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))