diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-08-08 07:00:17 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-08-08 07:00:17 +0000 |
| commit | a792eae510bb3fc84d2e00fd059d3ff0ac1e9d86 (patch) | |
| tree | 0b71332efc150e22f915ceddb635415db25c7cf6 /app-sci/coq | |
| parent | Update for ocaml-3.08, remove old ebuild. (diff) | |
| download | gentoo-2-a792eae510bb3fc84d2e00fd059d3ff0ac1e9d86.tar.gz gentoo-2-a792eae510bb3fc84d2e00fd059d3ff0ac1e9d86.tar.bz2 gentoo-2-a792eae510bb3fc84d2e00fd059d3ff0ac1e9d86.zip | |
Update for ocaml-3.08, remove old ebuild. (Manifest recommit)
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/Manifest | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index 7e03b17f30d0..19502223ea65 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,8 +1,8 @@ -MD5 9c70a98ad448402faff529a8287f7dca ChangeLog 1306 -MD5 7dbc14bf6765d9a269a437af3cd571c2 coq-7.4.ebuild 971 +MD5 e826079e6cd5df87ce36f2461e2b654e ChangeLog 1310 +MD5 2559fb0ebf76645f855752a3a18fa7d2 coq-7.4.ebuild 975 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 8374a27627b8d9a2c3e867eb5dc53621 coq-8.0-r1.ebuild 1939 -MD5 872ac2c5458a025d58c8455aa0b5cfad coq-8.0.ebuild 1913 +MD5 d339db772572f94a8a1bbfb760feb745 coq-8.0-r1.ebuild 1942 +MD5 4b3e22466363130a7a799228534043a2 coq-8.0.ebuild 1910 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 |