| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. | hrs | 2017-01-01 | 6 | -158/+152 |
| * | Update to 8.5. | hrs | 2016-12-31 | 5 | -853/+2865 |
| * | - Add missing dependencies. | hrs | 2016-12-31 | 1 | -16/+42 |
| * | Stepping down as maintainer for some ports. | johans | 2016-12-15 | 1 | -1/+1 |
| * | - Move license information from port description into LICENSE knobs | danfe | 2016-11-19 | 2 | -15/+10 |
| * | Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by... | amdmi3 | 2016-05-24 | 1 | -1/+1 |
| * | - Fix trailing whitespace in pkg-descrs, categories [g-n]* | amdmi3 | 2016-05-19 | 1 | -1/+1 |
| * | Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. | mat | 2016-04-01 | 1 | -5/+5 |
| * | Update Coq to 8.4pl6 | johans | 2015-05-23 | 3 | -3/+4 |
| * | - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add | madpilot | 2015-05-04 | 1 | -1/+1 |
| * | Update to Coq 8.4pl5 | johans | 2014-12-22 | 3 | -5/+3 |
| * | Cleanup plist | antoine | 2014-11-14 | 1 | -85/+1 |
| * | Update the default version of GCC in the Ports Collection from GCC 4.7.4 | gerald | 2014-09-11 | 1 | -0/+1 |
| * | Fix packaging | antoine | 2014-09-04 | 1 | -0/+4 |
| * | Switch to texlive | bapt | 2014-07-23 | 1 | -3/+2 |
| * | multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern | eadler | 2014-07-01 | 1 | -1/+1 |
| * | - Update coq to 8.4.3 | johans | 2014-01-11 | 3 | -38/+39 |
| * | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | bapt | 2013-09-21 | 1 | -0/+1 |
| * | - Add build dependency due to tex changes | johans | 2013-06-13 | 1 | -1/+1 |
| * | Rectify USE_TEX to support both of teTeX and TeXLive. | hrs | 2013-05-12 | 1 | -1/+1 |
| * | Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex | hrs | 2013-05-06 | 1 | -1/+1 |
| * | Update coq to 8.4.2 | johans | 2013-04-30 | 2 | -4/+3 |
| * | update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust | bf | 2013-03-06 | 1 | -0/+1 |
| * | - Update coq to 8.4 pl1 [1] | johans | 2013-02-17 | 4 | -1154/+856 |
| * | Convert to new options framework | johans | 2012-06-29 | 1 | -14/+20 |
| * | - update png to 1.5.10 | dinoex | 2012-06-01 | 1 | -0/+1 |
| * | - Update coq to 8.3.3 | johans | 2012-03-25 | 5 | -54/+361 |
| * | - Mark BROKEN: does not compile | pav | 2012-03-15 | 1 | -0/+2 |
| * | Mark as broken on powerpc: fails to link. | linimon | 2011-11-11 | 1 | -0/+4 |
| * | Bump PORTREVISION after open-mofit update | makc | 2011-05-02 | 1 | -0/+1 |
| * | Update coq to 8.3.2 | johans | 2011-04-26 | 2 | -5/+6 |
| * | Correct PORTVERSION: pl (patch level) releases follow a main release | johans | 2011-04-19 | 1 | -1/+2 |
| * | - Update coq to 8.3pl1 | johans | 2011-02-12 | 3 | -80/+3 |
| * | Fix build with new ocaml preprocessor (patch from upstream) | johans | 2010-12-11 | 2 | -0/+78 |
| * | - Update coq to 8.3 | johans | 2010-11-09 | 4 | -202/+412 |
| * | - Update to version 8.2pl1 | johans | 2010-06-25 | 2 | -20/+19 |
| * | - update to 1.4.1 | dinoex | 2010-03-28 | 1 | -1/+1 |
| * | Update my mail address to @FreeBSD.org | johans | 2010-02-24 | 1 | -1/+1 |
| * | - update to jpeg-8 | dinoex | 2010-02-05 | 1 | -1/+1 |
| * | - bump all port that indirectly depends on libjpeg and have not yet been bump... | dinoex | 2009-07-31 | 1 | -0/+1 |
| * | Fix pkg-plist | johans | 2009-03-16 | 1 | -0/+1 |
| * | Update to 8.2.1 | johans | 2009-03-16 | 3 | -106/+531 |
| * | Bump portrevision due to upgrade of devel/gettext. | edwin | 2008-06-06 | 1 | -1/+1 |
| * | - Due to depency updates, camlp5 (fresh port) is now required as well: | johans | 2008-04-17 | 1 | -0/+3 |
| * | - Update to 8.1pl3 | johans | 2008-04-07 | 3 | -7/+7 |
| * | Update to 8.1.1 (bugfix release) | johans | 2007-07-30 | 3 | -6/+10 |
| * | - Welcome X.org 7.2 \o/. | flz | 2007-05-20 | 1 | -0/+1 |
| * | - Update to 8.1 | johans | 2007-03-26 | 3 | -277/+137 |
| * | - Update to 8.0pl3 | pav | 2006-03-16 | 3 | -20/+15 |
| * | BROKEN: Does not build | kris | 2006-03-07 | 1 | -0/+2 |
| * | Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry | edwin | 2006-01-22 | 1 | -4/+4 |
| * | Unbreak: Add vendor-patch for ocaml 3.09 | vs | 2005-12-07 | 2 | -0/+5 |
| * | Bump PORTREVISION to regenerate the package with the newly enabled IDE on the... | vs | 2005-12-05 | 1 | -0/+1 |
| * | Enable IDE by default. | vs | 2005-12-05 | 1 | -3/+3 |
| * | - Add SHA256 | pav | 2005-11-25 | 1 | -0/+1 |
| * | Drop MAINTAINER | mnag | 2005-10-30 | 1 | -1/+1 |
| * | Update to 8.0p2 | vs | 2005-02-02 | 2 | -10/+5 |
| * | Fix packaging | vs | 2005-01-19 | 2 | -8/+7 |
| * | - Unbreak on amd64 | sem | 2004-12-21 | 1 | -2/+1 |
| * | Mark broken on ia64 and amd64. | tobez | 2004-11-29 | 1 | -0/+4 |
| * | - Add optional CoqIde support (depends on lablgtk2) | pav | 2004-11-09 | 3 | -58/+69 |
| * | Add coq, a formal proof management system: a proof done with Coq is | pav | 2004-10-16 | 4 | -0/+597 |
