diff --git a/coq-libhyps.opam b/coq-libhyps.opam
index f83de21..9df6baf 100644
--- a/coq-libhyps.opam
+++ b/coq-libhyps.opam
@@ -27,7 +27,7 @@ run-test: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.11" & <= "8.20~") | (= "dev")}
 ]
 
 tags: [