espie
0662a4e9d6
PERMIT_* / REGRESS->TEST sweep
2013-03-11 11:20:26 +00:00
nigel
12d0c6e92d
Add missing build dependency findlib
...
Ok sthen@ jasper@
2013-02-07 22:03:36 +00:00
naddy
347a5578b4
actually define V, so that we have a valid master site path
2013-02-07 12:16:08 +00:00
chrisz
0039808155
Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>
...
OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@
2013-02-07 09:43:15 +00:00
chrisz
cc072d54cf
update to version 8.4
...
OK
jasper@, sthen@, Yozo Toda (maintainer)
2013-01-04 11:07:28 +00:00
chrisz
0081341c9f
update lang/ocaml to 4.00.1.
...
Let all ocaml ports RUN_DEPEND on the version of ocaml they were built with.
2012-11-30 19:38:09 +00:00
espie
bc8dc9adb1
new depends
2010-11-19 07:23:05 +00:00
espie
3075d068d4
USE_GROFF=Yes
2010-10-18 20:52:05 +00:00
steven
80dfe7cfa9
REVISION
2010-07-18 10:30:41 +00:00
espie
17d70806a3
tweak FAKE_FLAGS semantics to saner defaults.
2008-01-04 17:48:33 +00:00
steven
907a85c549
remove quotes from COMMENT/PERMIT*/BROKEN
2007-09-15 18:44:36 +00:00
espie
9eafbbfb35
base64 checksums.
2007-04-05 16:19:55 +00:00
aanriot
6efe8828a8
this version doesn't work with ocaml 3.08, mark it as broken.
...
ok naddy@
2005-08-09 22:50:15 +00:00
naddy
8e0d7f62ec
SIZE
2005-01-05 17:05:00 +00:00
alek
554de2fd94
Add WANTLIB markers
2004-12-27 07:16:44 +00:00
espie
d7c7e778ad
new style PLISTs
2004-09-15 09:11:58 +00:00
xsa
8f584f432e
more new-style MODULES.
2004-08-10 20:41:47 +00:00
espie
c3a71ab9a0
fed up with changing checksums: provide a local mirror and kill
...
IGNOREFILES.
2004-07-11 12:18:44 +00:00
sturm
7f7292aee5
compile with ocaml 3.07
2003-12-31 17:06:42 +00:00
naddy
2276d3b230
remove WWW lines
2003-12-15 21:42:08 +00:00
sturm
18ebc748c1
make coq use the ocaml module
...
requested by and OK naddy@
2002-12-18 09:40:07 +00:00
naddy
6cfb0e81a0
Update to 7.3.1 and unbreak.
...
From: Yozo Toda <yozo@v007.vaio.ne.jp>
2002-11-04 21:10:44 +00:00
naddy
b154af47f1
remove obsolete camlp4 dependency
2002-09-07 23:43:09 +00:00
pvalchev
c440a7d291
Update maintainer's email address, remove a dead master site.
...
from Yozo TODA <yozo@v007.vaio.ne.jp>
2002-01-31 20:41:38 +00:00
espie
0e6f6f93bb
Kill first component of BUILD_DEPENDS.
...
Fix sawfish comment while I'm at it.
`window manager for the X windows system'.
Like DUH ! It's going to be a window manager for my microwave oven ?
2001-11-10 15:00:47 +00:00
naddy
3367255cb4
Import of coq 7.0.
...
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
2001-09-22 14:24:31 +00:00
