/hebrew/

ron4/files/elliptic-6.5.3'>dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3 FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Convert to new options frameworkjohans2012-06-291-14/+20
* - update png to 1.5.10dinoex2012-06-011-0/+1
* - Update coq to 8.3.3johans2012-03-251-5/+1
* - Mark BROKEN: does not compilepav2012-03-151-0/+2
* Mark as broken on powerpc: fails to link.linimon2011-11-111-0/+4
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-0/+1
* Update coq to 8.3.2johans2011-04-261-3/+4
* Correct PORTVERSION: pl (patch level) releases follow a main releasejohans2011-04-191-1/+2
* - Update coq to 8.3pl1johans2011-02-121-1/+1
* Fix build with new ocaml preprocessor (patch from upstream)johans2010-12-111-0/+1
* - Update coq to 8.3johans2010-11-091-10/+6
* - Update to version 8.2pl1johans2010-06-251-17/+16
* - update to 1.4.1dinoex2010-03-281-1/+1
* Update my mail address to @FreeBSD.orgjohans2010-02-241-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-0/+1
* Update to 8.2.1johans2009-03-161-9/+10
* 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