aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2013-09-10 19:05:43 +0200
committerLudovic Courtès <ludo@gnu.org>2013-09-19 09:14:23 +0200
commit0c456db45bf03df61cdb71db7742a44f4328fb3d (patch)
treef28065dbfe232f23a32ebd4dc152c182ea4f2687 /gnu/packages
parent692b93408f9f3ac3e43192fb869de966fa1d1204 (diff)
downloadgnu-guix-0c456db45bf03df61cdb71db7742a44f4328fb3d.tar
gnu-guix-0c456db45bf03df61cdb71db7742a44f4328fb3d.tar.gz
gnu: isl: Update urls.
* gnu/packages/gcc.scm (isl): Update source and home page url.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/gcc.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 571526ebdf..c1a2ce61c5 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -221,7 +221,7 @@ used in the GNU system including the GNU/Linux variant.")
(source (origin
(method url-fetch)
(uri (list (string-append
- "ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/isl-"
+ "http://isl.gforge.inria.fr/isl-"
version
".tar.bz2")
(string-append %gcc-infrastructure
@@ -231,7 +231,7 @@ used in the GNU system including the GNU/Linux variant.")
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))))
(build-system gnu-build-system)
(inputs `(("gmp" ,gmp)))
- (home-page "http://www.kotnet.org/~skimo/isl/")
+ (home-page "http://isl.gforge.inria.fr/")
(synopsis
"A library for manipulating sets and relations of integer points bounded
by linear constraints")