summaryrefslogtreecommitdiff
path: root/lang/mlton/distinfo (follow)
Commit message (Expand)AuthorAgeFilesLines
* - remove MD5Olli Hauer2011-07-031-3/+0
* This patch adds three features to the lang/mlton port:Stefan Walter2008-12-101-3/+6
* - Update to 20070826Thomas Abthorpe2008-01-261-6/+6
* lang/mlton: removing BROKENDaichi GOTO2006-06-291-3/+3
* - Update to 20051202Pav Lucistnik2006-01-051-6/+6
* RESURRECT PORT: lang/mltonEdwin Groothuis2005-12-011-0/+6
* As previously announced, remove ports that have reached their expiry date,Kris Kennaway2005-02-181-6/+0
* Add mlton 20040227, an optimizing Standard ML compiler.Thierry Thomas2004-08-211-0/+6