 daniel
|
1c147d96fd
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
|
9 éve |
|
daniel
|
7be5704e9a
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).
|
10 éve |
|
daniel
|
ad7f6192e7
Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;
|
10 éve |
|
daniel
|
090ffc6b18
Update to 8.4pl3; Yozo Toda.
|
11 éve |
 sthen
|
7d0c407ab6
update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer)
|
11 éve |
 chrisz
|
0039808155
Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>
|
12 éve |
|
chrisz
|
cc072d54cf
update to version 8.4
|
12 éve |
 espie
|
9eafbbfb35
base64 checksums.
|
18 éve |
 naddy
|
8e0d7f62ec
SIZE
|
20 éve |
|
espie
|
c3a71ab9a0
fed up with changing checksums: provide a local mirror and kill
|
20 éve |
 sturm
|
7f7292aee5
compile with ocaml 3.07
|
21 éve |
|
naddy
|
6cfb0e81a0
Update to 7.3.1 and unbreak.
|
22 éve |
 pvalchev
|
c440a7d291
Update maintainer's email address, remove a dead master site.
|
23 éve |
