diff options
author | Matthieu Sozeau <mattam@gentoo.org> | 2004-04-02 21:02:55 +0000 |
---|---|---|
committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-04-02 21:02:55 +0000 |
commit | 7f92caf15a820ca9bd186e8c4c5d1f6f04501d1e (patch) | |
tree | 6ab53af6e1786c2e89fe8e87dcabf002f33883c3 /app-sci/coq | |
parent | Added 8.0beta version and marked 7.4 stable. (diff) | |
download | gentoo-2-7f92caf15a820ca9bd186e8c4c5d1f6f04501d1e.tar.gz gentoo-2-7f92caf15a820ca9bd186e8c4c5d1f6f04501d1e.tar.bz2 gentoo-2-7f92caf15a820ca9bd186e8c4c5d1f6f04501d1e.zip |
Added 8.0beta version and marked 7.4 stable. (Manifest recommit)
Diffstat (limited to 'app-sci/coq')
-rw-r--r-- | app-sci/coq/Manifest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index f78f083981e0..1e5f7e90f36c 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,6 +1,6 @@ -MD5 588d37ebbb81a0f0e9d777a3908b2701 coq-8.0_beta.ebuild 960 -MD5 5b3bd95c81c08df116223beb9ca0de4f coq-7.4.ebuild 976 -MD5 8ea318dfb8fa73049a3d5b26257daba7 ChangeLog 467 +MD5 c25ef19759211220c56f31d63ebec8cb coq-8.0_beta.ebuild 964 +MD5 7bed781998338f06983c76af53dd425d coq-7.4.ebuild 974 +MD5 95671e452c7ebef2ea2fb0ed1119e725 ChangeLog 702 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 |