Hiroki Sato
bb3308956b
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2016-12-31 23:05:08 +00:00
Hiroki Sato
2f6eb8612d
Update to 8.5.
2016-12-31 14:32:50 +00:00
Johan van Selst
377f42277a
Update Coq to 8.4pl6
...
PR: 200409
Submitted by: yuri@rawbw.com
2015-05-23 10:06:54 +00:00
Johan van Selst
35e9303075
Update to Coq 8.4pl5
2014-12-22 10:45:20 +00:00
Johan van Selst
d255abc4f2
- Update coq to 8.4.3
...
- Enable stage support
- Simplify options handling
2014-01-11 09:31:40 +00:00
Johan van Selst
834028a8dd
Update coq to 8.4.2
2013-04-30 14:50:26 +00:00
Johan van Selst
df999ac7da
- 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>
2013-02-17 10:43:22 +00:00
Johan van Selst
f07a671354
- Update coq to 8.3.3
...
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
2012-03-25 09:21:05 +00:00
Johan van Selst
dcd46f6625
Update coq to 8.3.2
2011-04-25 17:48:54 +00:00
Johan van Selst
1bcf11304d
- Update coq to 8.3pl1
...
- Remove obsoleted patch (fixed in dist)
2011-02-12 12:30:08 +00:00
Johan van Selst
51ccf06067
- Update coq to 8.3
...
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
2010-11-09 07:09:26 +00:00
Johan van Selst
d3ddbd67e0
- 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
2010-06-25 06:53:04 +00:00
Johan van Selst
590950f595
Update to 8.2.1
2009-03-16 07:38:00 +00:00
Johan van Selst
38bf66f22a
- Update to 8.1pl3
...
- Take advantage of USE_OCAML
- Update MASTER_SITES
2008-04-06 17:40:47 +00:00
Johan van Selst
84e04ad3d6
Update to 8.1.1 (bugfix release)
2007-07-30 07:36:01 +00:00
Johan van Selst
a51ab73eab
- Update to 8.1
...
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
2007-03-25 18:44:33 +00:00
Pav Lucistnik
706b4dbbee
- Update to 8.0pl3
...
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
2006-03-16 15:31:23 +00:00
Volker Stolz
d1bd8ed621
Unbreak: Add vendor-patch for ocaml 3.09
2005-12-07 15:59:14 +00:00
Pav Lucistnik
6d7f8c459f
- Add SHA256
2005-11-25 15:48:16 +00:00
Volker Stolz
9b77394e18
Update to 8.0p2
...
PR: ports/76977
Submitted by: Rene Laden (maintainer)
2005-02-02 11:34:42 +00:00
Pav Lucistnik
253ba3b3b5
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>
2004-10-16 00:55:32 +00:00
