diff options
| author | Andreas Enge <andreas@enge.fr> | 2013-09-10 19:05:43 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2013-09-10 19:05:43 +0200 |
| commit | 590a4904d28e8cd6cbee404b66ce7a475713ca28 (patch) | |
| tree | c6ecd269a14c301be094794dfdcf32b46eabc662 /gnu/packages | |
| parent | d34c0ac6e9c669702bc4957faa5ee51f2b9465c3 (diff) | |
| download | patches-590a4904d28e8cd6cbee404b66ce7a475713ca28.tar patches-590a4904d28e8cd6cbee404b66ce7a475713ca28.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.scm | 4 |
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") |