opam: Compatible with 8.11

broSysX64 · Feb 12, 2020 · 60c8264 · 60c8264
1 parent f140f0b
commit 60c8264
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-itree.opam b/coq-itree.opam
@@ -15,7 +15,7 @@ run-test: [ make "-j%{jobs}%" "all" ]
 
 depends: [
   "ocaml"
-  "coq" {>= "8.8" & < "8.11~"}
+  "coq" {>= "8.8" & < "8.12~"}
   "coq-ext-lib" {>= "0.11.1" & < "0.12"}
   "coq-paco" {>= "4.0.0" & < "4.1.0"}
   "ocamlbuild" {with-test}