| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
11 May 2013 17:58:56
  8.4.2,1
|
hrs  |
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk. |
06 May 2013 02:00:41
8.4.2,1
|
hrs |
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier. |
30 Apr 2013 14:50:27
8.4.2,1
|
johans |
Update coq to 8.4.2 |
19 Mar 2013 13:20:29
8.4.1_1,1
|
rm |
- remove empty files and directories |
05 Mar 2013 20:22:03
8.4.1_1,1
|
bf |
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports
PR: 144982, 149958
Reviewed by: johans (earlier version of the patch) |
17 Feb 2013 10:43:22
8.4.1,1
|
johans |
- 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> |
28 Jun 2012 16:12:22
8.3.3_1,1
|
johans |
Convert to new options framework |
01 Jun 2012 05:26:28
8.3.3_1,1
|
dinoex |
- update png to 1.5.10 |
25 Mar 2012 09:21:05
8.3.3,1
|
johans |
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes |
14 Mar 2012 20:11:56
8.3.2_1,1
|
pav |
- Mark BROKEN: does not compile
OCAMLC pretyping/pretype_errors.mli
OCAMLOPT pretyping/pretype_errors.ml
File "pretyping/pretype_errors.ml", line 48, characters 4-109:
Error: Unbound constructor Stdpp.Exc_located
gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2
Reported by: pointyhat
Feature safe: yes |
11 Nov 2011 02:53:39
8.3.2_1,1
|
linimon |
Mark as broken on powerpc: fails to link.
Hat: portmgr
Feature safe: yes |
02 May 2011 12:44:53
8.3.2_1
|
makc |
Bump PORTREVISION after open-mofit update |
25 Apr 2011 17:48:54
8.3.2,1
|
johans |
Update coq to 8.3.2 |
18 Apr 2011 17:19:28
8.3.1,1
|
johans |
Correct PORTVERSION: pl (patch level) releases follow a main release
Reported by: erwin |
12 Feb 2011 12:30:08
8.3.p1,1
|
johans |
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist) |
10 Dec 2010 17:23:11
8.3,1
|
johans |
Fix build with new ocaml preprocessor (patch from upstream)
Reported by: pointyhat via pav |
09 Nov 2010 07:09:26
8.3,1
|
johans |
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr> |
25 Jun 2010 06:53:04
8.2.p1,1
|
johans |
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation
PR: ports/148034
Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe: yes |
28 Mar 2010 06:47:48
8.2.1_3
|
dinoex |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi |
23 Feb 2010 18:06:02
8.2.1_2
|
johans |
Update my mail address to @FreeBSD.org
Feature safe: yes |
05 Feb 2010 11:46:55
8.2.1_2
|
dinoex |
- update to jpeg-8 |
31 Jul 2009 13: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 13: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 22: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 17:40:47
8.1.3
|
johans |
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES |
30 Jul 2007 07:36:01
8.1.1
|
johans |
Update to 8.1.1 (bugfix release) |
19 May 2007 20: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 18: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 20: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 00: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> |
If you buy from Amazon USA, please support us by using this link.