coq-mathcomp-multinomials.2.2.0 is not compatible with coq-elpi >= 2.2.2

pi8027 · Jul 21, 2024 · e17aeb1 · e17aeb1
1 parent 3a957bc
commit e17aeb1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.2.0/opam b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.2.0/opam
@@ -10,6 +10,7 @@ build: [
 ]
 depends: [
   "coq"                    {(>= "8.16" & < "8.21~") | = "dev"}
+  "coq-elpi"               {< "2.2.1~"}
   "dune"                   {>= "3.8"}
   "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~") | = "dev"}
   "coq-mathcomp-algebra"