Interactive: Auto-complete options and add hints

1 files changed, 1 insertions, 1 deletions

diff --git a/opam b/opam
index 0ff18a02..3377edf4 100644
--- a/opam
+++ b/opam
@@ -28,7 +28,7 @@ depends: [
   "ocamlbuild"
   "zarith"
   "menhir"
-  "linenoise"
+  "linenoise" {>= "1.1.0"}
   "ott" {>= "0.28"}
   "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}