opam: fix coq-ext-lib and coq versions

broSysX64 · Jan 15, 2020 · 5897bb8 · 5897bb8
1 parent 2365f88
commit 5897bb8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-itree.opam b/coq-itree.opam
@@ -15,8 +15,8 @@ run-test: [ make "-j%{jobs}%" "all" ]
 
 depends: [
   "ocaml"
-  "coq" {>= "8.8" & < "8.10~"}
-  "coq-ext-lib" {= "0.10.2"}
+  "coq" {>= "8.8" & < "8.11~"}
+  "coq-ext-lib" {>= "0.10.3" & < "0.11"}
   "coq-paco" {>= "4.0.0" & < "4.1.0"}
   "ocamlbuild" {with-test}
 ]