From 2bc849cb438cc6fd6b6287a86cd20eef51691e44 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Fri, 2 Aug 2024 10:18:09 +0200 Subject: [PATCH] coq-relation-algebra.1.7.10 does not work on Coq 8.20 --- .../coq-relation-algebra/coq-relation-algebra.1.7.10/opam | 2 +- 1 file changed, 1 insertion(+), 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 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: [