summaryrefslogtreecommitdiff
path: root/math/coq
AgeCommit message (Expand)Author
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 debian/1.2.3+git2.25.1-1-2-gaceb0 (git 2.25.1) at 2025-04-08 03:49:19 +0000