| Age | Commit message (Expand) | Author |
|---|
| 2015-05-23 | Update Coq to 8.4pl6 | Johan van Selst |
| 2015-05-04 | - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add | Guido Falsi |
| 2014-12-22 | Update to Coq 8.4pl5 | Johan van Selst |
| 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-09-03 | Fix packaging | Antoine Brodin |
| 2014-07-23 | Switch to texlive | Baptiste Daroussin |
| 2014-07-01 | multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern | Eitan Adler |
| 2014-01-11 | - Update coq to 8.4.3 | Johan van Selst |
| 2013-09-20 | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin |
| 2013-06-13 | - Add build dependency due to tex changes | Johan van Selst |
| 2013-05-11 | Rectify USE_TEX to support both of teTeX and TeXLive. | Hiroki Sato |
| 2013-05-06 | Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex | Hiroki Sato |
| 2013-04-30 | Update coq to 8.4.2 | Johan van Selst |
| 2013-03-05 | update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust | Brendan Fabeny |
| 2013-02-17 | - Update coq to 8.4 pl1 [1] | Johan van Selst |
| 2012-06-28 | Convert to new options framework | Johan van Selst |
| 2012-06-01 | - update png to 1.5.10 | Dirk Meyer |
| 2012-03-25 | - Update coq to 8.3.3 | Johan van Selst |
| 2012-03-14 | - Mark BROKEN: does not compile | Pav Lucistnik |
| 2011-11-11 | Mark as broken on powerpc: fails to link. | Mark Linimon |
| 2011-05-02 | Bump PORTREVISION after open-mofit update | Max Brazhnikov |
| 2011-04-25 | Update coq to 8.3.2 | Johan van Selst |
| 2011-04-18 | Correct PORTVERSION: pl (patch level) releases follow a main release | Johan van Selst |
| 2011-02-12 | - Update coq to 8.3pl1 | Johan van Selst |
| 2010-12-10 | Fix build with new ocaml preprocessor (patch from upstream) | Johan van Selst |
| 2010-11-09 | - Update coq to 8.3 | Johan van Selst |
| 2010-06-25 | - Update to version 8.2pl1 | Johan van Selst |
| 2010-03-28 | - update to 1.4.1 | Dirk Meyer |
| 2010-02-23 | Update my mail address to @FreeBSD.org | Johan van Selst |
| 2010-02-05 | - update to jpeg-8 | Dirk Meyer |
| 2009-07-31 | - bump all port that indirectly depends on libjpeg and have not yet been bump... | Dirk Meyer |
| 2009-03-16 | Fix pkg-plist | Johan van Selst |
| 2009-03-16 | Update to 8.2.1 | Johan van Selst |
| 2008-06-06 | Bump portrevision due to upgrade of devel/gettext. | Edwin Groothuis |
| 2008-04-16 | - Due to depency updates, camlp5 (fresh port) is now required as well: | Johan van Selst |
| 2008-04-06 | - Update to 8.1pl3 | Johan van Selst |
| 2007-07-30 | Update to 8.1.1 (bugfix release) | Johan van Selst |
| 2007-05-19 | - Welcome X.org 7.2 \o/. | Florent Thoumie |
| 2007-03-25 | - Update to 8.1 | Johan van Selst |
| 2006-03-16 | - Update to 8.0pl3 | Pav Lucistnik |
| 2006-03-06 | BROKEN: Does not build | Kris Kennaway |
| 2006-01-22 | Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry | Edwin Groothuis |
| 2005-12-07 | Unbreak: Add vendor-patch for ocaml 3.09 | Volker Stolz |
| 2005-12-05 | Bump PORTREVISION to regenerate the package with the newly enabled IDE on the... | Volker Stolz |
| 2005-12-05 | Enable IDE by default. | Volker Stolz |
| 2005-11-25 | - Add SHA256 | Pav Lucistnik |
| 2005-10-29 | Drop MAINTAINER | Marcus Alves Grando |
| 2005-02-02 | Update to 8.0p2 | Volker Stolz |
| 2005-01-18 | Fix packaging | Volker Stolz |
