From 48477b996590c7cc11f7e3ab5d4ec093a9667e0d Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@gentoo.org>
Date: Sat, 4 Feb 2006 17:16:01 +0000
Subject: Remove old version, incompatible with current ocaml and move current
 to stable (over a year of testing:) (Portage version: 2.0.51.22-r1) 
 (Unsigned Manifest commit)

---
 sci-mathematics/coq/Manifest | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'sci-mathematics/coq')

diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 812c20a255b3..d81cce0951e5 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,12 +1,10 @@
 MD5 2561503852b06c6950d1e30e0c696835 coq-8.0_p3.ebuild 2059
-MD5 3d54f6b5dc456dd623a0f1ae04864e5c coq-7.4.ebuild 983
-MD5 9cb58d2978f6b0b70fe46dea6cfd1cf7 ChangeLog 2155
+MD5 f53f121e28c13d7bc92083befddc19f0 ChangeLog 2312
 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
-MD5 1df42d2fd48cb3e893cf9761a68098c3 coq-8.0-r1.ebuild 2071
+MD5 cb991d5ec534868ff853690657f2e104 coq-8.0-r1.ebuild 2069
 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
 MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136
 MD5 94b1d26b3c8781903409657f25b64f29 files/digest-coq-8.0_p3 209
-MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
-- 
cgit v1.2.3-65-gdbad