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 |
|
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 |
|
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 |
|
espie
|
9eafbbfb35
|
base64 checksums.
|
2007-04-05 16:19:55 +00:00 |
|
naddy
|
8e0d7f62ec
|
SIZE
|
2005-01-05 17:05:00 +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
|
6cfb0e81a0
|
Update to 7.3.1 and unbreak.
From: Yozo Toda <yozo@v007.vaio.ne.jp>
|
2002-11-04 21:10:44 +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 |
|