| Age | Commit message (Expand) | Author |
|---|
| 2023-07-05 | lang/ocaml: Update to 4.08.1 | Guido Falsi |
| 2022-09-07 | Remove WWW entries moved into port Makefiles | Stefan Eßer |
| 2022-09-07 | Add WWW entries to port Makefiles | Stefan Eßer |
| 2022-07-20 | math: remove 'Created by' lines | Tobias C. Berner |
| 2022-04-16 | OCaml: transient update of the stack to version 4.07.1 | Alexey Dokuchaev |
| 2021-04-29 | math/alt-ergo: fix build | Dmitry Marakasov |
| 2021-04-06 | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold |
| 2021-02-04 | Remove the GUI option | Baptiste Daroussin |
| 2020-05-18 | Mark as BROKEN on powerpc64: | Mark Linimon |
| 2016-06-27 | Reset ports maintained by bf@ until he has time again to work on them. | Rene Ladan |
| 2016-04-01 | Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. | Mathieu Arnold |
| 2015-05-04 | - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add | Guido Falsi |
| 2014-12-07 | Canonicalize a few licenses | Antoine Brodin |
| 2014-11-13 | Cleanup plist | Antoine Brodin |
| 2014-09-10 | Update the default version of GCC in the Ports Collection from GCC 4.7.4 | Gerald Pfeifer |
| 2014-06-25 | Convert GMAKE to MAKE_CMD | Baptiste Daroussin |
| 2014-06-02 | math/alt-ergo: Update version 0.94 => 0.95.2 and support stage | John Marino |
| 2014-05-26 | - Convert gmake,bzip2 to USES | Martin Wilke |
| 2013-09-20 | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin |
| 2013-03-18 | update master sites; trim headers; reposition LICENSE, WWW | Brendan Fabeny |
| 2013-03-07 | switch to the new options format | Brendan Fabeny |
| 2013-03-05 | update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust | Brendan Fabeny |
| 2012-06-01 | - update png to 1.5.10 | Dirk Meyer |
| 2011-12-21 | Add alt-ergo 0.94, an automatic theorem prover dedicated to program | Brendan Fabeny |
