aboutsummaryrefslogtreecommitdiff
path: root/lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* lang/mlton: removing BROKENDaichi GOTO2006-06-292-13/+15
* BROKEN: Prebuilt binary depends on old version of libgmpKris Kennaway2006-05-211-0/+2
* Chase gmp library and bump PORTREVISION.Alex Dupre2006-05-101-1/+2
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
* - Update to 20051202Pav Lucistnik2006-01-054-122/+1261
* BROKEN: UnfetchableKris Kennaway2005-12-171-0/+2
* RESURRECT PORT: lang/mltonEdwin Groothuis2005-12-014-0/+708
* As previously announced, remove ports that have reached their expiry date,Kris Kennaway2005-02-184-560/+0
* This port is scheduled to be removed on 2005-02-18 if it is stillKris Kennaway2004-12-181-0/+2
* BROKEN: Size mismatchKirill Ponomarev2004-12-081-0/+2
* This port includes a 5.x binary that links to libm.so.2, which is partKris Kennaway2004-10-111-5/+2
* Add mlton 20040227, an optimizing Standard ML compiler.Thierry Thomas2004-08-214-0/+559