Update opam file to allow Coq 8.8.

Mtac2 · Aug 29, 2018 · 9c9f628 · 9c9f628
1 parent 7529ae7
commit 9c9f628
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam b/opam
@@ -14,6 +14,6 @@ install: [
 ]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Mtac2"]
 depends: [
-  "coq" {>= "8.7.0" & < "8.8~"}
+  "coq" {>= "8.7.0" & < "8.9~"}
   "coq-unicoq" {>= "1.3~" & < "2~"}
 ]