diff --git a/coq-simuliris.opam b/coq-simuliris.opam
index 06cc5342b4727bb02e75b034e62bc5d7a7bf996e..c48ed08a218ec73b83ed345815c162b031abe23f 100644
--- a/coq-simuliris.opam
+++ b/coq-simuliris.opam
@@ -9,7 +9,7 @@ synopsis: "Local Simulation proofs, the Iris style"
 
 depends: [
   "coq-iris" { (= "dev.2025-01-25.1.8a8f05fb") | (= "dev") }
-  "coq-equations" { (= "1.3+8.19") | (= "1.3.1+8.20") | (= "dev") }
+  "coq-equations" { (= "1.3+8.19") | (= "1.3.1+8.20") | (= "1.3.1+9.0") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]