aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-1/+1
* - Due to depency updates, camlp5 (fresh port) is now required as well:johans2008-04-171-0/+3
* - Update to 8.1pl3johans2008-04-071-4/+3
* Update to 8.1.1 (bugfix release)johans2007-07-301-3/+5
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
* - Update to 8.1johans2007-03-261-7/+6
* - Update to 8.0pl3pav2006-03-161-8/+6
* BROKEN: Does not buildkris2006-03-071-0/+2
* Unbreak: Add vendor-patch for ocaml 3.09vs2005-12-071-0/+2
* Bump PORTREVISION to regenerate the package with the newly enabled IDE on the...vs2005-12-051-0/+1
* Enable IDE by default.vs2005-12-051-3/+3
* Drop MAINTAINERmnag2005-10-301-1/+1
* Update to 8.0p2vs2005-02-021-6/+3
* Fix packagingvs2005-01-191-1/+3
* - Unbreak on amd64sem2004-12-211-2/+1
* Mark broken on ia64 and amd64.tobez2004-11-291-0/+4
* - Add optional CoqIde support (depends on lablgtk2)pav2004-11-091-7/+16
* Add coq, a formal proof management system: a proof done with Coq ispav2004-10-161-0/+46
generated by cgit (git 2.34.1) at 2024-12-04 15:45:04 +0800