zenon 0.8.5: fix bound on depopts

mseri · web-flow · commit cedfcd120f11 · 2023-03-29T15:21:59.000+02:00
diff --git a/packages/zenon/zenon.0.8.5/opam b/packages/zenon/zenon.0.8.5/opam
@@ -8,9 +8,10 @@ depends: [
   "ocaml" {>= "4.07.0"}
 ]
 depopts: [
-  "coq" {>= "8.6"}
+  "coq"
 ]
 conflicts: [
+  "coq" {< "8.6"}
   "coq-core"
 ]
 build: [
