diff --git a/README.md b/README.md
index 483769296..92869edfa 100644
--- a/README.md
+++ b/README.md
@@ -73,6 +73,10 @@ opam pin add coq-elpi https://github.com/LPCIC/coq-elpi.git
 One can also clone this repository and type `make`, but check you have
 all the dependencies installed first (see [coq-elpi.opam](coq-elpi.opam)).
 
+We recommend to look at the [CI setup](.github/workflows) for
+ocaml versions being tested. Also, we recommend to install `dot-merlin-reader`
+and `ocaml-lsp-server` (version 1.15).
+
 </p></details>
 
 ## Documentation
diff --git a/coq-elpi.opam b/coq-elpi.opam
index 1682397f4..5fb2abfba 100644
--- a/coq-elpi.opam
+++ b/coq-elpi.opam
@@ -16,6 +16,8 @@ depends: [
   "stdlib-shims"
   "elpi" {>= "1.16.5" & < "1.18.0~"}
   "coq" {>= "8.18" & < "8.19~" }
+  "dot-merlin-reader" {with-dev}
+  "ocaml-lsp-server" {with-dev}
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"