From 590a4904d28e8cd6cbee404b66ce7a475713ca28 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Tue, 10 Sep 2013 19:05:43 +0200
Subject: [PATCH] gnu: isl: Update urls.

* gnu/packages/gcc.scm (isl): Update source and home page url.
---
 gnu/packages/gcc.scm | 4 ++--
 1 file 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 @@ (define-public isl
     (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 @@ (define-public isl
                "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")