diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-07-01 14:48:20 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-07-01 14:48:20 +0000 |
| commit | 584d345f90bdd178ef24e2a54596c5e7ade14092 (patch) | |
| tree | 755047f870cea5e9ab9ad59f1d4d3d501123f5e7 /app-sci | |
| parent | New stable release. (diff) | |
| download | gentoo-2-584d345f90bdd178ef24e2a54596c5e7ade14092.tar.gz gentoo-2-584d345f90bdd178ef24e2a54596c5e7ade14092.tar.bz2 gentoo-2-584d345f90bdd178ef24e2a54596c5e7ade14092.zip | |
New stable release. (Manifest recommit)
Diffstat (limited to 'app-sci')
| -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 d16b386b344a..407824169bd3 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,8 +1,8 @@ -MD5 d472faf45bae28669ad7b67e3540b455 ChangeLog 996 -MD5 b95dd6d75d060fa55af740d04647a3bd coq-7.4.ebuild 953 -MD5 030312fc00cd1d79004bffebd3df7941 coq-8.0_beta.ebuild 963 +MD5 4eff94b6779cecb025fb0db401b9fe9d ChangeLog 996 +MD5 fd0597cc1580b05e07e89f66bdf3fd9d coq-7.4.ebuild 947 +MD5 f7362fd7ee6b7239ea9b2fc4119e7ce6 coq-8.0_beta.ebuild 957 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 75c55de9b0530a6f71cae69f9bb1a61f coq-8.0.ebuild 1901 +MD5 eb24ae3099ad315b804cbe4cd90a41bb coq-8.0.ebuild 1895 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 |