Merge pull request #3298 from palmskog/fix-hb-1.7.1

Fix HB 1.7.1

.github/workflows/ci.yml

@@ -62,4 +62,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v3

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"
   ]
-}
+}