aboutsummaryrefslogtreecommitdiff
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgradeJoseph Mingrone2018-05-311-1/+1
* Flavorize and modernize Emacs portsJoseph Mingrone2018-02-011-7/+8
* For ports that are marked BROKEN on armv6, and also fail to build onMark Linimon2017-11-301-0/+1
* Chase Emacs updateAshish SHUKLA2017-09-121-0/+1
* Mark some ports failing on armv6, for errors classified as "???",Mark Linimon2017-05-271-2/+3
* Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.Hiroki Sato2016-12-316-158/+152
* Update to 8.5.Hiroki Sato2016-12-315-853/+2865
* - Add missing dependencies.Hiroki Sato2016-12-311-16/+42
* Stepping down as maintainer for some ports.Johan van Selst2016-12-141-1/+1
* - Move license information from port description into LICENSE knobsAlexey Dokuchaev2016-11-192-15/+10
* Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by...Dmitry Marakasov2016-05-231-1/+1
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-5/+5
* Update Coq to 8.4pl6Johan van Selst2015-05-233-3/+4
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addGuido Falsi2015-05-041-1/+1
* Update to Coq 8.4pl5Johan van Selst2014-12-223-5/+3
* Cleanup plistAntoine Brodin2014-11-131-85/+1
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-0/+1
* Fix packagingAntoine Brodin2014-09-031-0/+4
* Switch to texliveBaptiste Daroussin2014-07-231-3/+2
* multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-patternEitan Adler2014-07-011-1/+1
* - Update coq to 8.4.3Johan van Selst2014-01-113-38/+39
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - Add build dependency due to tex changesJohan van Selst2013-06-131-1/+1
* Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato2013-05-111-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato2013-05-061-1/+1
* Update coq to 8.4.2Johan van Selst2013-04-302-4/+3
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny2013-03-051-0/+1
* - Update coq to 8.4 pl1 [1]Johan van Selst2013-02-174-1154/+856
* Convert to new options frameworkJohan van Selst2012-06-281-14/+20
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
* - Update coq to 8.3.3Johan van Selst2012-03-255-54/+361
* - Mark BROKEN: does not compilePav Lucistnik2012-03-141-0/+2
* Mark as broken on powerpc: fails to link.Mark Linimon2011-11-111-0/+4
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-0/+1
* Update coq to 8.3.2Johan van Selst2011-04-252-5/+6
* Correct PORTVERSION: pl (patch level) releases follow a main releaseJohan van Selst2011-04-181-1/+2
* - Update coq to 8.3pl1Johan van Selst2011-02-123-80/+3
* Fix build with new ocaml preprocessor (patch from upstream)Johan van Selst2010-12-102-0/+78
* - Update coq to 8.3Johan van Selst2010-11-094-202/+412
* - Update to version 8.2pl1Johan van Selst2010-06-252-20/+19
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* Update my mail address to @FreeBSD.orgJohan van Selst2010-02-231-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer2009-07-311-0/+1
* Fix pkg-plistJohan van Selst2009-03-161-0/+1
* Update to 8.2.1Johan van Selst2009-03-163-106/+531
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-1/+1
* - Due to depency updates, camlp5 (fresh port) is now required as well:Johan van Selst2008-04-161-0/+3
* - Update to 8.1pl3Johan van Selst2008-04-063-7/+7