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
Kris Kennaway
0dd9f92e52
BROKEN: Does not build
...
Approved by: portmgr (implicit)
2006-03-06 20:30:52 +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
d1bd8ed621
Unbreak: Add vendor-patch for ocaml 3.09
2005-12-07 15:59:14 +00:00
Volker Stolz
5f8bb4c4ae
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the cluster
...
Suggested by: kris
2005-12-05 09:49:23 +00:00
Volker Stolz
605fee96a1
Enable IDE by default.
2005-12-05 09:16:08 +00:00
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
