Pav Lucistnik
6d7f8c459f
- Add SHA256
2005-11-25 15:48:16 +00:00
Marcus Alves Grando
6271d456ad
Drop MAINTAINER
...
PR: 88197
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
2005-10-29 20:14:47 +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
Volker Stolz
951f10473d
Fix packaging
...
PR: ports/75787
Submitted by: maintainer
2005-01-18 16:44:23 +00:00
Sergey Matveychuk
45f9d23248
- Unbreak on amd64
...
(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
2004-12-20 21:37:52 +00:00
Anton Berezin
e5db96d167
Mark broken on ia64 and amd64.
...
PR: 74502
Submitted by: maintainer
2004-11-29 09:34:20 +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
