aboutsummaryrefslogtreecommitdiffstats
path: root/lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* - remove MD5ohauer2011-07-031-3/+0
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-1/+1
* - Unbreak buildpgj2010-06-232-18/+41
* Switch to use newer GMP version.ale2010-04-191-2/+2
* - update to 1.4.1dinoex2010-03-281-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* This port has been broken for 3+ months, thuspav2009-12-081-0/+2
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-1/+1
* Mark BROKEN: does not build.erwin2009-06-131-0/+2
* Chase libgmp and bump PORTREVISION.ale2009-05-131-2/+2
* - Remove conditional checks for FreeBSD 5.x and olderpav2009-01-061-3/+0
* This patch adds three features to the lang/mlton port:stefan2008-12-1020-13/+16568
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Update to 20070826tabthorpe2008-01-264-195/+1600
* Hand maintainership over to jlouis@mongers.org. While here, pet portlint.linimon2007-12-121-5/+3
* - 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
generated by cgit (git 2.34.1) at 2024-11-23 12:11:46 +0800