aboutsummaryrefslogtreecommitdiff
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* - 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
* Update to 8.1.1 (bugfix release)Johan van Selst2007-07-303-6/+10
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
* - Update to 8.1Johan van Selst2007-03-253-277/+137
* - Update to 8.0pl3Pav Lucistnik2006-03-163-20/+15
* BROKEN: Does not buildKris Kennaway2006-03-061-0/+2
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis2006-01-221-4/+4
* Unbreak: Add vendor-patch for ocaml 3.09Volker Stolz2005-12-072-0/+5
* Bump PORTREVISION to regenerate the package with the newly enabled IDE on the...Volker Stolz2005-12-051-0/+1
* Enable IDE by default.Volker Stolz2005-12-051-3/+3
* - Add SHA256Pav Lucistnik2005-11-251-0/+1
* Drop MAINTAINERMarcus Alves Grando2005-10-291-1/+1
* Update to 8.0p2Volker Stolz2005-02-022-10/+5
* Fix packagingVolker Stolz2005-01-182-8/+7
* - Unbreak on amd64Sergey Matveychuk2004-12-201-2/+1
* Mark broken on ia64 and amd64.Anton Berezin2004-11-291-0/+4
* - Add optional CoqIde support (depends on lablgtk2)Pav Lucistnik2004-11-083-58/+69
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-164-0/+597
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-14 13:45:08 +0000