diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 16:30:27 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 16:30:27 +0000 |
| commit | 35187fb4a226594c976b0291c1740054581d9f1b (patch) | |
| tree | 8931c4ff5ad33b0a393f758f19b9100e42b996d5 /sci-mathematics/coq/files | |
| parent | Drop dependencies over autotools, autotools eclass take care of that. Change ... (diff) | |
| download | gentoo-2-35187fb4a226594c976b0291c1740054581d9f1b.tar.gz gentoo-2-35187fb4a226594c976b0291c1740054581d9f1b.tar.bz2 gentoo-2-35187fb4a226594c976b0291c1740054581d9f1b.zip | |
Added latest version, compatible with ocaml-3.09
(Portage version: 2.0.51.22-r1)
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-8.0 | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-8.0_p3 | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-8.0 b/sci-mathematics/coq/files/digest-coq-8.0 deleted file mode 100644 index c339254dca9e..000000000000 --- a/sci-mathematics/coq/files/digest-coq-8.0 +++ /dev/null @@ -1,2 +0,0 @@ -MD5 75ab1eb131b3469d21ab74377826b32b coq-8.0.tar.gz 2281827 -MD5 e2e4ecc8a552c847a656dcf9e47dd738 coq-8.0-translator.tar.gz 233218 diff --git a/sci-mathematics/coq/files/digest-coq-8.0_p3 b/sci-mathematics/coq/files/digest-coq-8.0_p3 new file mode 100644 index 000000000000..388defd20836 --- /dev/null +++ b/sci-mathematics/coq/files/digest-coq-8.0_p3 @@ -0,0 +1,3 @@ +MD5 c98d4cefd119accb1ecdeebb41128822 coq-8.0pl3.tar.gz 2309002 +MD5 028d27ab3b2eb4ac5d223597b655c833 coq-8.0_p3-ocaml-3.09.patch.gz 5256 +MD5 78bbf518d2e15c8306f692707c24be1c coq-8.0pl3-translator.tar.gz 233228 |