summaryrefslogtreecommitdiff
path: root/development/mlton/mlton.info
diff options
context:
space:
mode:
Diffstat (limited to 'development/mlton/mlton.info')
-rw-r--r--development/mlton/mlton.info14
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"