aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq
Commit message (Collapse)AuthorAgeFilesLines
* - Add build dependency due to tex changesjohans2013-06-131-1/+1
| | | | | PR: ports/179372 Submitted by: John Marino <draco@marino.st>
* Rectify USE_TEX to support both of teTeX and TeXLive.hrs2013-05-121-1/+1
| | | | | | | | | TEX_DEFAULT: A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf. USE_TEX: A knob for port developers. Valid keywords are listed in bsd.tex.mk.
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexhrs2013-05-061-1/+1
| | | | instead to make migration to TeXLive easier.
* Update coq to 8.4.2johans2013-04-302-4/+3
|
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustbf2013-03-061-0/+1
| | | | | | | dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch)
* - Update coq to 8.4 pl1 [1]johans2013-02-174-1154/+856
| | | | | | | | | http://coq.inria.fr/coq-84 - Remove local patch that is now included upstream - Add ocaml-findlib as build dependency PR: ports/176056 Submitted by: Jaap Boender <jaapb@kerguelen.org>
* 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-255-54/+361
| | | | | | | - Fix build with new camlp5 (patch from official repo) - Remove BROKEN tag Feature safe: yes
* - Mark BROKEN: does not compilepav2012-03-151-0/+2
| | | | | | | | | | | OCAMLC pretyping/pretype_errors.mli OCAMLOPT pretyping/pretype_errors.ml File "pretyping/pretype_errors.ml", line 48, characters 4-109: Error: Unbound constructor Stdpp.Exc_located gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2 Reported by: pointyhat Feature safe: yes
* Mark as broken on powerpc: fails to link.linimon2011-11-111-0/+4
| | | | | Hat: portmgr Feature safe: yes
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-0/+1
|
* Update coq to 8.3.2johans2011-04-262-5/+6
|
* Correct PORTVERSION: pl (patch level) releases follow a main releasejohans2011-04-191-1/+2
| | | | Reported by: erwin
* - Update coq to 8.3pl1johans2011-02-123-80/+3
| | | | - Remove obsoleted patch (fixed in dist)
* Fix build with new ocaml preprocessor (patch from upstream)johans2010-12-112-0/+78
| | | | Reported by: pointyhat via pav
* - Update coq to 8.3johans2010-11-094-202/+412
| | | | | | - Add a patch to fix threading issues Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
* - Update to version 8.2pl1johans2010-06-252-20/+19
| | | | | | | | | - Bump EPOCH due to different versioning style - Build and install documentation PR: ports/148034 Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> Feature safe: yes
* - update to 1.4.1dinoex2010-03-281-1/+1
| | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi
* Update my mail address to @FreeBSD.orgjohans2010-02-241-1/+1
| | | | Feature safe: yes
* - update to jpeg-8dinoex2010-02-051-1/+1
|
* - bump all port that indirectly depends on libjpeg and have not yet been ↵dinoex2009-07-311-0/+1
| | | | | | bumped or updated Requested by: edwin
* Fix pkg-plistjohans2009-03-161-0/+1
| | | | Reported by: QAT
* Update to 8.2.1johans2009-03-163-106/+531
|
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-1/+1
| | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav)
* - Due to depency updates, camlp5 (fresh port) is now required as well:johans2008-04-171-0/+3
| | | | Include this dependency and bump portrevision
* - Update to 8.1pl3johans2008-04-073-7/+7
| | | | | - Take advantage of USE_OCAML - Update MASTER_SITES
* Update to 8.1.1 (bugfix release)johans2007-07-303-6/+10
|
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
| | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.
* - Update to 8.1johans2007-03-263-277/+137
| | | | | - Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore
* - Update to 8.0pl3pav2006-03-163-20/+15
| | | | | PR: ports/93954 Submitted by: Johan van Selst <johans@stack.nl>
* BROKEN: Does not buildkris2006-03-071-0/+2
| | | | Approved by: portmgr (implicit)
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryedwin2006-01-221-4/+4
| | | | | Approved by: krion@ PR: ports/88711 (related)
* Unbreak: Add vendor-patch for ocaml 3.09vs2005-12-072-0/+5
|
* Bump PORTREVISION to regenerate the package with the newly enabled IDE on ↵vs2005-12-051-0/+1
| | | | | | the cluster Suggested by: kris
* Enable IDE by default.vs2005-12-051-3/+3
|
* - Add SHA256pav2005-11-251-0/+1
|
* Drop MAINTAINERmnag2005-10-301-1/+1
| | | | | PR: 88197 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
* Update to 8.0p2vs2005-02-022-10/+5
| | | | | PR: ports/76977 Submitted by: Rene Laden (maintainer)
* Fix packagingvs2005-01-192-8/+7
| | | | | PR: ports/75787 Submitted by: maintainer
* - Unbreak on amd64sem2004-12-211-2/+1
| | | | | | | | (Johan van Selst succesfully ran the test-suite on an amd64 running 6-CURRENT and ocaml-3.08.2) PR: ports/75334 Submitted by: maintainer
* Mark broken on ia64 and amd64.tobez2004-11-291-0/+4
| | | | | PR: 74502 Submitted by: maintainer
* - Add optional CoqIde support (depends on lablgtk2)pav2004-11-093-58/+69
| | | | | | | | - Correct PORTVERSION to match actual source version - Cosmetics PR: ports/73634 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
* Add coq, a formal proof management system: a proof done with Coq ispav2004-10-164-0/+597
mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
generated by cgit (git 2.34.1) at 2025-03-03 05:26:50 +0800