add HB 1.7.1 upper bound for elpi

coq · Jan 16, 2025 · bdf2562 · bdf2562
1 parent d89e46b
commit bdf2562
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.1/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.1/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-hierarchy-builder"
 maintainer: "Enrico Tassi <[email protected]>"
 authors: [ "Cyril Cohen" "Kazuhiko Sakaguchi" "Enrico Tassi" ]
 license: "MIT"
@@ -11,7 +10,7 @@ build: [ [ make "build"]
          [ make "test-suite" ] {with-test}
        ]
 install: [ make "install" ]
-depends: [ "coq-elpi" { (>= "2.0") | = "dev" } ]
+depends: [ "coq-elpi" {>= "2.0" & < "2.4"} ]
 conflicts: [ "coq-hierarchy-builder-shim" ]
 synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"
 description: """
@@ -27,4 +26,4 @@ url {
   checksum: [
     "sha256=1408a3ca6fb701375eeb0302d1c7f5297afca47897d074fcb36f53667dddf48b"
   ]
-}
+}