diff options
Diffstat (limited to 'development/mlton/mlton.info')
| -rw-r--r-- | development/mlton/mlton.info | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info new file mode 100644 index 0000000000..c1b9dd82ae --- /dev/null +++ b/development/mlton/mlton.info @@ -0,0 +1,14 @@ +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" +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" +MD5SUM_x86_64="3598a53e45d0806d359203bb36405710 \ + 546b8941c35a93df4866ef91129e0f35" +MAINTAINER="Jockey S. Kyd" +EMAIL="jockey.kyd@gmail.com" +APPROVED="rworkman" |