aboutsummaryrefslogtreecommitdiffstats
path: root/lang/mlton/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Bring lang/mlton back into shape.rene2014-03-081-6/+6
* - remove MD5ohauer2011-07-031-3/+0
* This patch adds three features to the lang/mlton port:stefan2008-12-101-3/+6
* - Update to 20070826tabthorpe2008-01-261-6/+6
* lang/mlton: removing BROKENdaichi2006-06-291-3/+3
* - Update to 20051202pav2006-01-051-6/+6
* RESURRECT PORT: lang/mltonedwin2005-12-011-0/+6
* As previously announced, remove ports that have reached their expiry date,kris2005-02-191-6/+0
* Add mlton 20040227, an optimizing Standard ML compiler.thierry2004-08-211-0/+6