diff --git a/Lama.opam b/Lama.opam
index ff20e2093..4ecc52d0e 100644
--- a/Lama.opam
+++ b/Lama.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/JetBrains-Research/Lama/issues"
 depends: [
   "ocaml"       { >= "4.07.1" }
   "ocamlfind"   { build }
-  "camlp5"      { >= "8.00"}
+  "camlp5"      { >= "8.00.05" }
   "ostap"       { >= "0.5"}
   "GT"          { >= "0.5.0" }
 ]