aboutsummaryrefslogtreecommitdiffstats
path: root/lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* - Welcome X.org 7.2 \o/.flz2007-05-201-1/+1
* BROKEN except on 6.x: this now appears to be a 6.x binary, and thekris2006-09-171-4/+5
* lang/mlton: removing BROKENdaichi2006-06-292-13/+15
* BROKEN: Prebuilt binary depends on old version of libgmpkris2006-05-221-0/+2
* Chase gmp library and bump PORTREVISION.ale2006-05-101-1/+2
* Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0
* - Update to 20051202pav2006-01-054-122/+1261
* BROKEN: Unfetchablekris2005-12-181-0/+2
* RESURRECT PORT: lang/mltonedwin2005-12-014-0/+708
* As previously announced, remove ports that have reached their expiry date,kris2005-02-194-560/+0
* This port is scheduled to be removed on 2005-02-18 if it is stillkris2004-12-191-0/+2
* BROKEN: Size mismatchkrion2004-12-081-0/+2
* This port includes a 5.x binary that links to libm.so.2, which is partkris2004-10-111-5/+2
* Add mlton 20040227, an optimizing Standard ML compiler.thierry2004-08-214-0/+559