naddy
90bea15d2f
Drop USE_GROFF: trivial page footer differences only.
2015-01-22 21:17:46 +00:00
daniel
7be5704e9a
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).
...
using dpb, sthen@ discovered that having latex around at config time
but not at build time will cause the coq build to fail because
latex is not listed as a BDEP. Fix this as well.
2014-11-18 02:00:52 +00:00
chrisz
b73d87a0a9
Add missing BUILD_DEPENDS/lang/ocaml-camlp4 to math/coq
...
noticed by landry@
2014-09-10 08:36:18 +00:00
daniel
ad7f6192e7
Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;
...
fix taken from coq trunk.
ok Yozo Toda (MAINTAINER) some time ago.
ok chrisz@
2014-08-27 09:44:59 +00:00
chrisz
0ae97f5f8a
Last OCaml REVISION bumps do to changes in BUILD_DEPENDS.
2014-08-23 07:09:18 +00:00
daniel
090ffc6b18
Update to 8.4pl3; Yozo Toda.
...
ok sthen@
2014-03-26 03:27:26 +00:00
sthen
7d0c407ab6
update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer)
2013-11-08 23:11:48 +00:00
brad
d8981fd22f
Fix GNU make check with newer versions.
...
ok sthen@
2013-10-26 07:38:19 +00:00
sthen
8c49cfdb82
use gettext/libiconv MODULES.
2013-05-16 09:16:43 +00:00
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
