diff options
| author |   Travis Tilley <lv@gentoo.org> | 2004-07-14 01:34:44 +0000 |
|---|---|---|
| committer | Travis Tilley <lv@gentoo.org> | 2004-07-14 01:34:44 +0000 |
| commit | b86f836a82628b78e51cee39b8037ef61d0c4bbd (patch) | |
| tree | 5519886fdd40699108bca06037df20bfd56cb0e2 /app-sci | |
| parent | ~amd64 (diff) | |
| download | gentoo-2-b86f836a82628b78e51cee39b8037ef61d0c4bbd.tar.gz gentoo-2-b86f836a82628b78e51cee39b8037ef61d0c4bbd.tar.bz2 gentoo-2-b86f836a82628b78e51cee39b8037ef61d0c4bbd.zip | |
~amd64 (Manifest recommit)
Diffstat (limited to 'app-sci')
| -rw-r--r-- | app-sci/coq/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index 57f1ff416f72..c43bdba1b245 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,11 +1,11 @@ -MD5 2e8a0c7956b4f4f0a26e66521ac7a7d1 ChangeLog 991 -MD5 fd0597cc1580b05e07e89f66bdf3fd9d coq-7.4.ebuild 947 -MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 MD5 f7362fd7ee6b7239ea9b2fc4119e7ce6 coq-8.0_beta.ebuild 957 MD5 dcfaeb126d2f6d629b7bb08dad938493 coq-8.0.ebuild 1890 +MD5 4086c425a9d17c6e54e23201184e90ec coq-7.4.ebuild 948 +MD5 9aff6bfd98e9836736a5cab5a0a31986 ChangeLog 1070 +MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 +MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 +MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 -MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 -MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 |