diff --git a/released/packages/coq-relation-algebra/coq-relation-algebra.1.7.10/opam b/released/packages/coq-relation-algebra/coq-relation-algebra.1.7.10/opam
index 3d1ae7ba9..38b25f69b 100644
--- a/released/packages/coq-relation-algebra/coq-relation-algebra.1.7.10/opam
+++ b/released/packages/coq-relation-algebra/coq-relation-algebra.1.7.10/opam
@@ -7,7 +7,7 @@ bug-reports: "https://github.com/damien-pous/relation-algebra/issues"
 license: "LGPL-3.0-or-later"
 depends: [
   "ocaml"
-  "coq" {>= "8.18" }
+  "coq" {>= "8.18" & < "8.21"}
 ]
 depopts: [ "coq-mathcomp-ssreflect" "coq-aac-tactics" ]
 build: [