diff options
| author |   Aron Griffis <agriffis@gentoo.org> | 2004-06-24 22:22:35 +0000 |
|---|---|---|
| committer | Aron Griffis <agriffis@gentoo.org> | 2004-06-24 22:22:35 +0000 |
| commit | d4c2d6b58feecaa4300e59a9889d0067acfa0f56 (patch) | |
| tree | 0f2bef0f5af63fa1b10c05634f4342be00679df3 /app-sci/coq | |
| parent | update copyright line: Gentoo Technologies => Gentoo Foundation (diff) | |
| download | historical-d4c2d6b58feecaa4300e59a9889d0067acfa0f56.tar.gz historical-d4c2d6b58feecaa4300e59a9889d0067acfa0f56.tar.bz2 historical-d4c2d6b58feecaa4300e59a9889d0067acfa0f56.zip | |
Diffstat (limited to 'app-sci/coq')
| -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 af5ea42c4b35..861875b468b1 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,7 +1,7 @@ +MD5 f7362fd7ee6b7239ea9b2fc4119e7ce6 coq-8.0_beta.ebuild 957 +MD5 fd0597cc1580b05e07e89f66bdf3fd9d coq-7.4.ebuild 947 +MD5 0da4d9bb10c228d312018ce92e8c6452 ChangeLog 695 +MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 +MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 -MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 -MD5 95671e452c7ebef2ea2fb0ed1119e725 ChangeLog 702 -MD5 3149d38c8c2ff538bcce27f663103547 coq-7.4.ebuild 954 -MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 c25ef19759211220c56f31d63ebec8cb coq-8.0_beta.ebuild 964 |