wip

Author: gares

lambdapi.opam

@@ -62,7 +62,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
   "odoc" {with-doc}
-  "elpi" { >= "1.16.0" & < "1.17.0" }
+  "elpi" { >= "1.16.6" & < "1.17.0" }
 ]
 build: [
   ["dune" "subst"] {dev}