Relax Coq version bounds in informational opam file

With VeriNum#17 and VeriNum#19, VCFloat should build with Coq 8.18.
JasonGross · Sep 22, 2023 · ff83ea6 · ff83ea6
1 parent b427da8
commit ff83ea6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-vcfloat.opam b/coq-vcfloat.opam
@@ -27,7 +27,7 @@ run-test: [
   [make "-C" "vcfloat" "-j%{jobs}%" "tests" "COQEXTRAFLAGS=-native-compiler ondemand" {coq-native:installed  & coq-compcert:version < "3.13~"}]
 ]
 depends: [
-  "coq" {>= "8.16" & < "8.18~"}
+  "coq" {(>= "8.16" & < "8.19~") | = "dev"}
   "coq-flocq" {>= "4.1.1" & < "5.0"}
   "coq-interval" {>= "4.8.0"}
   "coq-compcert" {>= "3.12"}