summaryrefslogtreecommitdiff
path: root/lang/mosml
AgeCommit message (Expand)Author
2022-09-07Remove WWW entries moved into port MakefilesStefan Eßer
2022-09-07Add WWW entries to port MakefilesStefan Eßer
2022-07-20lang: remove 'Created by' linesTobias C. Berner
2021-05-06Deorbit RESTRICTED && NO_CDROM, part two.Mathieu Arnold
2021-04-06Remove # $FreeBSD$ from Makefiles.Mathieu Arnold
2020-01-27- Pet portlintDmitry Marakasov
2019-11-04Returns johans's ports to the pool after safekeeping his commit bit.Rene Ladan
2018-11-11Update `databases/gdbm' to version 1.18.1, an important bugfix releaseAlexey Dokuchaev
2018-07-02Mark ports broken on mips64 that are already broken on powerpc64. InMark Linimon
2017-04-29Provide more descriptive error messages for ports failing on powerpc64.Mark Linimon
2016-11-02Cleanup no longer needed CHMOD usage after r424898.Mathieu Arnold
2016-05-18Cleaner patch to honour $CC (no functional change)Johan van Selst
2016-05-16Honour $CCJohan van Selst
2016-05-16Restore the original header that unintentionally got lost when moving the portJohan van Selst
2016-05-16- Mark BROKEN: does not buildDmitry Marakasov
2016-05-12Cleanup github bits.Mathieu Arnold
2016-05-11Moscow_ml has been renamed mosmlJohan van Selst