1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 1042ec47..77bccacf 100644
--- a/debian/control
+++ b/debian/control
@@ -37,7 +37,7 @@ Recommends: coqide | proofgeneral-coq
 Suggests:
  ocaml-nox,
  proofgeneral-coq,
- ledit | cle,
+ ledit | readline-editor,
  libcoq-ocaml-dev,
  coq-doc
 Conflicts: coq-libs