diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 07:30:03 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:10:05 +0100 |
| commit | 308a600796e061470f233a80b2b7dd71ad766f02 (patch) | |
| tree | c7615433423944fa5f101903aa0cb7ae2f42118f | |
| parent | 10d514272045c3c2551de78c95bcc3175cf29483 (diff) | |
Only one out of ledit and cle is needed
| -rw-r--r-- | debian/control | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/debian/control b/debian/control index ba0e7d76..5df9fe8b 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) |