diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/mlton/mlton.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info index 0525fe7898..179d038921 100644 --- a/development/mlton/mlton.info +++ b/development/mlton/mlton.info @@ -1,12 +1,12 @@ PRGNAM="mlton" VERSION="20100608" HOMEPAGE="http://mlton.org/" -DOWNLOAD="http://mlton.org/pages/Download/attachments/mlton-20100608-1.x86-linux.tgz \ - http://mlton.org/pages/Download/attachments/mlton-20100608-1.x86-linux.static.tgz" +DOWNLOAD="http://downloads.sourceforge.net/mlton/mlton-20100608-1.x86-linux.tgz \ + http://downloads.sourceforge.net/mlton/mlton-20100608-1.x86-linux.static.tgz" MD5SUM="6c2cd50709b3309b0ec435002fb1e4cf \ dc6101f8923b23cd2875a74e353f520e" -DOWNLOAD_x86_64="http://mlton.org/pages/Download/attachments/mlton-20100608-1.amd64-linux.tgz \ - http://mlton.org/pages/Download/attachments/mlton-20100608-1.amd64-linux.static.tgz" +DOWNLOAD_x86_64="http://downloads.sourceforge.net/mlton/mlton-20100608-1.amd64-linux.tgz \ + http://downloads.sourceforge.net/mlton/mlton-20100608-1.amd64-linux.static.tgz" MD5SUM_x86_64="3598a53e45d0806d359203bb36405710 \ 546b8941c35a93df4866ef91129e0f35" REQUIRES="" |