diff --git a/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam b/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam
index 8be0e58ab..fcfd7cd8f 100644
--- 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"
 ]