diff options
Diffstat (limited to 'debian/control')
| -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) |