Set correct dependency on Coq in opam file

mattam82 · Sep 23, 2021 · 3f774b4 · 3f774b4
1 parent 3d987cf
commit 3f774b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-equations.opam b/coq-equations.opam
@@ -31,7 +31,7 @@ run-test: [
   [make "test-suite"]
 ]
 depends: [
-  "coq" {= "dev"}
+  "coq" {>= "8.14" & < "8.15~"}
   "ocamlfind" {build}
 ]
 #depopts: [