aboutsummaryrefslogtreecommitdiff
path: root/lang/mosml
Commit message (Expand)AuthorAgeFilesLines
* - Pet portlintDmitry Marakasov2020-01-272-10/+12
* Returns johans's ports to the pool after safekeeping his commit bit.Rene Ladan2019-11-041-1/+1
* Update `databases/gdbm' to version 1.18.1, an important bugfix releaseAlexey Dokuchaev2018-11-111-0/+1
* Mark ports broken on mips64 that are already broken on powerpc64. InMark Linimon2018-07-021-2/+4
* Provide more descriptive error messages for ports failing on powerpc64.Mark Linimon2017-04-291-1/+1
* Cleanup no longer needed CHMOD usage after r424898.Mathieu Arnold2016-11-021-4/+2
* Cleaner patch to honour $CC (no functional change)Johan van Selst2016-05-181-1/+1
* Honour $CCJohan van Selst2016-05-161-2/+1
* Restore the original header that unintentionally got lost when moving the portJohan van Selst2016-05-161-0/+1
* - Mark BROKEN: does not buildDmitry Marakasov2016-05-161-0/+2
* Cleanup github bits.Mathieu Arnold2016-05-122-3/+3
* Moscow_ml has been renamed mosmlJohan van Selst2016-05-114-0/+581