summaryrefslogtreecommitdiff
path: root/math/coq
AgeCommit message (Expand)Author
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
2004-12-20- Unbreak on amd64Sergey Matveychuk
2004-11-29Mark broken on ia64 and amd64.Anton Berezin
2004-11-08- Add optional CoqIde support (depends on lablgtk2)Pav Lucistnik
2004-10-16Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-28 13:21:09 +0000