Merge pull request #3294 from coq/gares-patch-1

fix HB deps
coq · Jan 16, 2025 · 546082b · 546082b
2 parents ec2c56b + d08f891
commit 546082b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam
@@ -13,7 +13,7 @@ tags: "logpath:HB"
 homepage: "https://github.com/math-comp/hierarchy-builder"
 bug-reports: "https://github.com/math-comp/hierarchy-builder/issues"
 depends: [
-  "coq-elpi" {(>= "2.0") | = "dev"}
+  "coq-elpi" {(>= "2.0" < "2.4") | = "dev"}
 ]
 conflicts: ["coq-hierarchy-builder-shim"]
 build: [
@@ -29,4 +29,4 @@ url {
     "md5=3635ba1739c95d2635a0822fb52e2fba"
     "sha512=f728bbc3c968b83802990d9dc4ff2a98af0a4c240b621cc420ebc60f9d0833817504f89df99d8fc166030c930ad032faf7007beda183c4c4d436d4cd7e27b3b5"
   ]
-}
+}