diff options
| -rw-r--r-- | development/dejagnu/dejagnu.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/dejagnu/dejagnu.info b/development/dejagnu/dejagnu.info index 240d3732ad..b9c5e245b6 100644 --- a/development/dejagnu/dejagnu.info +++ b/development/dejagnu/dejagnu.info @@ -1,7 +1,7 @@ PRGNAM="dejagnu" VERSION="1.5" HOMEPAGE="http://www.gnu.org/software/dejagnu/" -DOWNLOAD="ftp://ftp.df.lth.se/pub/ftp.gnu.org/pub/gnu/dejagnu/dejagnu-1.5.tar.gz" +DOWNLOAD="ftp://ftp.gnu.org/gnu/dejagnu/dejagnu-1.5.tar.gz" MD5SUM="3df1cbca885e751e22d3ebd1ac64dc3c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" |