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
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
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
5d4ea25ee9
Fix pkg-plist
...
Reported by: QAT
2009-03-16 09:42:38 +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
Edwin Groothuis
a437d08eca
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
...
Approved by: krion@
PR: ports/88711 (related)
2006-01-22 02:30:01 +00:00
Volker Stolz
951f10473d
Fix packaging
...
PR: ports/75787
Submitted by: maintainer
2005-01-18 16:44:23 +00:00
Pav Lucistnik
dc7c8ff64b
- Add optional CoqIde support (depends on lablgtk2)
...
- Correct PORTVERSION to match actual source version
- Cosmetics
PR: ports/73634
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
2004-11-08 21:57:29 +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
