diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
index 680c1ded6..3593a7aca 100644
--- a/coq-metacoq-utils.opam
+++ b/coq-metacoq-utils.opam
@@ -30,7 +30,7 @@ install: [
 depends: [
   "stdlib-shims"
   "coq" { >= "8.18" & < "8.19~" }
-  "coq-equations" { = "1.3" }
+  "coq-equations" { = "1.3+8.18" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """