coq-relation-algebra.1.7.10 does not work on Coq 8.20

coq · Aug 2, 2024 · 2bc849c · 2bc849c
1 parent c9adb93
commit 2bc849c
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -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: [