aboutsummaryrefslogtreecommitdiff
path: root/math/coq/distinfo
Commit message (Collapse)AuthorAgeFilesLines
* Update Coq to 8.4pl6Johan van Selst2015-05-231-2/+2
| | | | | | | | PR: 200409 Submitted by: yuri@rawbw.com Notes: svn path=/head/; revision=387123
* Update to Coq 8.4pl5Johan van Selst2014-12-221-2/+2
| | | | Notes: svn path=/head/; revision=375227
* - Update coq to 8.4.3Johan van Selst2014-01-111-2/+2
| | | | | | | | - Enable stage support - Simplify options handling Notes: svn path=/head/; revision=339411
* Update coq to 8.4.2Johan van Selst2013-04-301-2/+2
| | | | Notes: svn path=/head/; revision=316937
* - Update coq to 8.4 pl1 [1]Johan van Selst2013-02-171-2/+2
| | | | | | | | | | | | 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> Notes: svn path=/head/; revision=312410
* - Update coq to 8.3.3Johan van Selst2012-03-251-2/+2
| | | | | | | | | | - Fix build with new camlp5 (patch from official repo) - Remove BROKEN tag Feature safe: yes Notes: svn path=/head/; revision=293795
* Update coq to 8.3.2Johan van Selst2011-04-251-2/+2
| | | | Notes: svn path=/head/; revision=273175
* - Update coq to 8.3pl1Johan van Selst2011-02-121-2/+2
| | | | | | | - Remove obsoleted patch (fixed in dist) Notes: svn path=/head/; revision=268981
* - Update coq to 8.3Johan van Selst2010-11-091-3/+2
| | | | | | | | | - Add a patch to fix threading issues Submitted by: AUGER Cedric <Cedric.Auger@lri.fr> Notes: svn path=/head/; revision=264298
* - Update to version 8.2pl1Johan van Selst2010-06-251-3/+3
| | | | | | | | | | | | - 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 Notes: svn path=/head/; revision=256938
* Update to 8.2.1Johan van Selst2009-03-161-3/+3
| | | | Notes: svn path=/head/; revision=230188
* - Update to 8.1pl3Johan van Selst2008-04-061-3/+3
| | | | | | | | - Take advantage of USE_OCAML - Update MASTER_SITES Notes: svn path=/head/; revision=210667
* Update to 8.1.1 (bugfix release)Johan van Selst2007-07-301-3/+3
| | | | Notes: svn path=/head/; revision=196695
* - Update to 8.1Johan van Selst2007-03-251-6/+3
| | | | | | | | - Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore Notes: svn path=/head/; revision=188312
* - Update to 8.0pl3Pav Lucistnik2006-03-161-6/+6
| | | | | | | | PR: ports/93954 Submitted by: Johan van Selst <johans@stack.nl> Notes: svn path=/head/; revision=157427
* Unbreak: Add vendor-patch for ocaml 3.09Volker Stolz2005-12-071-0/+3
| | | | Notes: svn path=/head/; revision=150602
* - Add SHA256Pav Lucistnik2005-11-251-0/+1
| | | | Notes: svn path=/head/; revision=149432
* Update to 8.0p2Volker Stolz2005-02-021-4/+2
| | | | | | | | PR: ports/76977 Submitted by: Rene Laden (maintainer) Notes: svn path=/head/; revision=127899
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-161-0/+4
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> Notes: svn path=/head/; revision=119551
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-28 17:49:54 +0000