summaryrefslogtreecommitdiff
path: root/math/coq
AgeCommit message (Expand)Author
2015-05-23Update Coq to 8.4pl6Johan van Selst
2015-05-04- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addGuido Falsi
2014-12-22Update to Coq 8.4pl5Johan van Selst
2014-11-13Cleanup plistAntoine Brodin
2014-09-10Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer
2014-09-03Fix packagingAntoine Brodin
2014-07-23Switch to texliveBaptiste Daroussin
2014-07-01multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-patternEitan Adler
2014-01-11- Update coq to 8.4.3Johan van Selst
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin
2013-06-13- Add build dependency due to tex changesJohan van Selst
2013-05-11Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato
2013-05-06Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato
2013-04-30Update coq to 8.4.2Johan van Selst
2013-03-05update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny
2013-02-17- Update coq to 8.4 pl1 [1]Johan van Selst
2012-06-28Convert to new options frameworkJohan van Selst
2012-06-01- update png to 1.5.10Dirk Meyer
2012-03-25- Update coq to 8.3.3Johan van Selst
2012-03-14- Mark BROKEN: does not compilePav Lucistnik
2011-11-11Mark as broken on powerpc: fails to link.Mark Linimon
2011-05-02Bump PORTREVISION after open-mofit updateMax Brazhnikov
2011-04-25Update coq to 8.3.2Johan van Selst
2011-04-18Correct PORTVERSION: pl (patch level) releases follow a main releaseJohan van Selst
2011-02-12- Update coq to 8.3pl1Johan van Selst
2010-12-10Fix build with new ocaml preprocessor (patch from upstream)Johan van Selst
2010-11-09- Update coq to 8.3Johan van Selst
2010-06-25- Update to version 8.2pl1Johan van Selst
2010-03-28- update to 1.4.1Dirk Meyer
2010-02-23Update my mail address to @FreeBSD.orgJohan van Selst
2010-02-05- update to jpeg-8Dirk Meyer
2009-07-31- bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer
2009-03-16Fix pkg-plistJohan van Selst
2009-03-16Update to 8.2.1Johan van Selst
2008-06-06Bump 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.1pl3Johan van Selst
2007-07-30Update 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.1Johan van Selst
2006-03-16- Update to 8.0pl3Pav Lucistnik
2006-03-06BROKEN: Does not buildKris Kennaway
2006-01-22Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis
2005-12-07Unbreak: Add vendor-patch for ocaml 3.09Volker Stolz
2005-12-05Bump PORTREVISION to regenerate the package with the newly enabled IDE on the...Volker Stolz
2005-12-05Enable IDE by default.Volker Stolz
2005-11-25- Add SHA256Pav Lucistnik
2005-10-29Drop MAINTAINERMarcus Alves Grando
2005-02-02Update to 8.0p2Volker Stolz
2005-01-18Fix packagingVolker Stolz
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-22 11:19:46 +0000