From 7f92caf15a820ca9bd186e8c4c5d1f6f04501d1e Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Fri, 2 Apr 2004 21:02:55 +0000 Subject: Added 8.0beta version and marked 7.4 stable. (Manifest recommit) --- app-sci/coq/Manifest | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'app-sci') 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 -- cgit v1.2.3-65-gdbad