[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-25-g14dc709

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 308a600796e061470f233a80b2b7dd71ad766f02
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Feb 1 07:30:03 2009 +0100

    Only one out of ledit and cle is needed

diff --git a/debian/control b/debian/control
index ba0e7d7..5df9fe8 100644
--- a/debian/control
+++ b/debian/control
@@ -31,8 +31,7 @@ Recommends: coqide | proofgeneral-coq
 Suggests:
  ocaml-nox,
  proofgeneral-coq,
- ledit,
- cle,
+ ledit | cle,
  libcoq-ocaml-dev,
  coq-doc
 Description: proof assistant for higher-order logic (toplevel and compiler)

-- 
coq packaging