Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-28 | gmp: split into multiple outputs | Vladimír Čunát | 1 | -3/+3 |
2015-05-05 | fix "libc}/lib" and similar references | Vladimír Čunát | 1 | -2/+2 |
2015-02-08 | Get mlton a little closer to working on darwin+clang (thanks to gridaphobe). ... | Dan Peebles | 1 | -3/+9 |
2014-04-19 | Fix build of MLton on Linux i686 | Marco | 1 | -2/+7 |
2014-04-19 | Enable compilation of MLton on darwin | Marco Maggesi | 1 | -17/+24 |
2014-02-03 | mlton: fix build with latest version. | Karn Kallio | 1 | -2/+11 |
2014-01-05 | mlton: fix build by updating | Vladimír Čunát | 1 | -7/+10 |
2013-10-06 | More description fixes | Bjørn Forsman | 1 | -1/+1 |
2012-04-22 | Fix mlton build: apply Marc Weber patch and update download URL. | Karn Kallio | 1 | -6/+4 |
2010-08-24 | Add package mlton, an optimizing compiler for Standard ML. | Peter Simons | 1 | -0/+96 |