| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Mark some ports failing on armv6, for errors classified as "???", | linimon | 2017-05-27 | 1 | -2/+3 |
| * | 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 |
