coq-vcfloat.2.1.1 doesn't work with coq-interval.4.10.0 and later

inQWIRE · Jul 27, 2024 · fed414f · fed414f
1 parent 526a734
commit fed414f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam b/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam
@@ -30,7 +30,7 @@ run-test: [
 depends: [
   "coq" {>= "8.16" & < "8.18~"}
   "coq-flocq" {>= "4.1.1" & < "5.0"}
-  "coq-interval" {>= "4.8.0"}
+  "coq-interval" {>= "4.8.0" & < "4.10~"}
   "coq-compcert" {>= "3.12"}
   "coq-bignums"
 ]