| Commit History - (may be incomplete: see CVSWeb link above for full details) |
| Date | By | Description |
05 Feb 2010 11:46:55
  8.2.1_2
|
dinoex  |
- update to jpeg-8 |
31 Jul 2009 14:57:52
8.2.1_1
|
dinoex |
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by: edwin |
16 Mar 2009 09:42:38
8.2.1
|
johans |
Fix pkg-plist
Reported by: QAT |
16 Mar 2009 07:38:00
8.2.1
|
johans |
Update to 8.2.1 |
06 Jun 2008 14:44:06
8.1.3_2
|
edwin |
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav) |
16 Apr 2008 23:10:53
8.1.3_1
|
johans |
- Due to depency updates, camlp5 (fresh port) is now required as well:
Include this dependency and bump portrevision |
06 Apr 2008 18:40:47
8.1.3
|
johans |
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES |
30 Jul 2007 08:36:01
8.1.1
|
johans |
Update to 8.1.1 (bugfix release) |
19 May 2007 21:32:57
8.1_1
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
25 Mar 2007 19:44:34
8.1
|
johans |
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore |
16 Mar 2006 15:31:23
8.0p3
|
pav |
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl> |
06 Mar 2006 20:30:52
8.0p2_1
|
kris |
BROKEN: Does not build
Approved by: portmgr (implicit) |
22 Jan 2006 02:26:24
8.0p2_1
|
edwin |
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
Approved by: krion@
PR: ports/88711 (related) |
07 Dec 2005 15:59:14
8.0p2_1
|
vs |
Unbreak: Add vendor-patch for ocaml 3.09 |
05 Dec 2005 09:49:23
8.0p2_1
|
vs |
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster
Suggested by: kris |
05 Dec 2005 09:16:08
8.0p2
|
vs |
Enable IDE by default. |
25 Nov 2005 15:48:16
8.0p2
|
pav |
- Add SHA256 |
29 Oct 2005 21:14:47
8.0p2
|
mnag |
Drop MAINTAINER
PR: 88197
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer) |
02 Feb 2005 11:34:42
8.0p2
|
vs |
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer) |
18 Jan 2005 16:44:23
8.0p1
|
vs |
Fix packaging
PR: ports/75787
Submitted by: maintainer |
20 Dec 2004 21:37:52
8.0p1
|
sem |
- 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 |
29 Nov 2004 09:34:20
8.0p1
|
tobez |
Mark broken on ia64 and amd64.
PR: 74502
Submitted by: maintainer |
08 Nov 2004 21:57:29
8.0p1
|
pav |
- 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) |
16 Oct 2004 01:55:33
8.0
|
pav |
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> |
