Merge pull request coq#3122 from palmskog/vcfloat-2.1.1-interval-fix

coq-vcfloat.2.1.1 doesn't work with coq-interval.4.10.0 and later
inQWIRE · Jul 28, 2024 · d83d9e7 · d83d9e7
2 parents 526a734 + fed414f
commit d83d9e7
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"
 ]