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
