diff --git a/coq-infotheo.opam b/coq-infotheo.opam
index 08ab81ac..98e18bac 100644
--- a/coq-infotheo.opam
+++ b/coq-infotheo.opam
@@ -21,14 +21,14 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.17" & < "8.19~") | (= "dev") }
+  "coq" { (>= "8.17" & < "8.20~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "1.16.0" & < "1.20.0") | (= "dev") }
   "coq-mathcomp-fingroup" { (>= "1.16.0" & < "1.20.0") | (= "dev")  }
   "coq-mathcomp-algebra" { (>= "1.16.0" & < "1.20.0") | (= "dev")  }
   "coq-mathcomp-solvable" { (>= "1.16.0" & < "1.20.0") | (= "dev")  }
   "coq-mathcomp-field" { (>= "1.16.0" & < "1.20.0") | (= "dev")  }
   "coq-mathcomp-analysis" { (>= "0.6.6") & (< "0.8~")}
-  "coq-hierarchy-builder" { = "1.5.0" }
+  "coq-hierarchy-builder" { >= "1.5.0" }
   "coq-mathcomp-algebra-tactics" { = "1.1.1" }
 ]
 
diff --git a/meta.yml b/meta.yml
index 5edabcfa..423e7529 100644
--- a/meta.yml
+++ b/meta.yml
@@ -42,7 +42,7 @@ nix: true
 
 supported_coq_versions:
   text: Coq 8.17
-  opam: '{ (>= "8.17" & < "8.19~") | (= "dev") }'
+  opam: '{ (>= "8.17" & < "8.20~") | (= "dev") }'
 
 tested_coq_opam_versions:
 - version: '1.17.0-coq-8.17'
@@ -91,7 +91,7 @@ dependencies:
     [MathComp analysis](https://github.com/math-comp/analysis)
 - opam:
     name: coq-hierarchy-builder
-    version: '{ = "1.5.0" }'
+    version: '{ >= "1.5.0" }'
   description: |-
     [Hierarchy Builder](https://github.com/math-comp/hierarchy-builder)
 - opam: