| non port: math/coq/distinfo |
|
SVNWeb
|
Number of commits found: 21 |
|
Sat, 31 Dec 2016
|
[ 23:05 hrs  ]  
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
|
[ 14:32 hrs ]
Update to 8.5.
|
|
Sat, 23 May 2015
|
[ 10:06 johans ]
Update Coq to 8.4pl6
PR: 200409
Submitted by: yuri@rawbw.com
|
|
Mon, 22 Dec 2014
|
[ 10:45 johans ]
Update to Coq 8.4pl5
|
|
Sat, 11 Jan 2014
|
[ 09:31 johans ]
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
|
|
Tue, 30 Apr 2013
|
[ 14:50 johans ]
Update coq to 8.4.2
|
|
Sun, 17 Feb 2013
|
[ 10:43 johans ]
- Update coq to 8.4 pl1 [1]
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>
|
|
Sun, 25 Mar 2012
|
[ 09:21 johans ]
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
|
|
Mon, 25 Apr 2011
|
[ 17:48 johans ]
Update coq to 8.3.2
|
|
Sat, 12 Feb 2011
|
[ 12:30 johans ]
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
|
|
Tue, 9 Nov 2010
|
[ 07:09 johans ]
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
|
|
Fri, 25 Jun 2010
|
[ 06:53 johans ]
- Update to version 8.2pl1
- 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
|
|
Mon, 16 Mar 2009
|
[ 07:38 johans ]
Update to 8.2.1
|
|
Sun, 6 Apr 2008
|
[ 17:40 johans ]
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
|
|
Mon, 30 Jul 2007
|
[ 07:36 johans ]
Update to 8.1.1 (bugfix release)
|
|
Sun, 25 Mar 2007
|
[ 18:44 johans ]
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
|
|
Thu, 16 Mar 2006
|
[ 15:31 pav ]
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
|
|
Wed, 7 Dec 2005
|
[ 15:59 vs ]
Unbreak: Add vendor-patch for ocaml 3.09
|
|
Fri, 25 Nov 2005
|
[ 15:48 pav ] (Only the first 10 of 105 ports in this commit are shown above.  )
- Add SHA256
|
|
Wed, 2 Feb 2005
|
[ 11:34 vs ]
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer)
|
|
Sat, 16 Oct 2004
|
[ 00:55 pav ]
Add coq, a formal proof management system: a proof done with Coq is
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>
|
Number of commits found: 21 |
As an Amazon Associate I earn from qualifying purchases.