fixed bounds

imdea-software · Jan 15, 2025 · 02b0271 · 02b0271
1 parent 8e3fc97
commit 02b0271
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-fcsl-pcm.opam b/coq-fcsl-pcm.opam
@@ -27,7 +27,7 @@ install: [make "install"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") }
-  "coq-hierarchy-builder" {>= "1.7.0" & < "1.8~"} | (= "dev") }
+  "coq-hierarchy-builder" {>= "1.7.0" & < "1.9~"} | (= "dev") }
   "coq-mathcomp-algebra" 
 ]
 

diff --git a/meta.yml b/meta.yml
@@ -59,7 +59,7 @@ dependencies:
     [MathComp ssreflect 2.2 or later](https://math-comp.github.io)
 - opam:
     name: coq-hierarchy-builder
-    version: '{>= "1.7.0" & < "1.8~"} | (= "dev") }'
+    version: '{>= "1.7.0" & < "1.9~"} | (= "dev") }'
   description: |-
     [Hierarchy Builder 1.7.0 or later](https://github.com/math-comp/hierarchy-builder)
 - opam: