diff --git a/dune-project b/dune-project
index b3f552e..1bcada5 100644
--- a/dune-project
+++ b/dune-project
@@ -17,6 +17,6 @@
  (synopsis "Formal Verification for JavaScript Regular Expressions")
  (depends
   (rocq-core (>= 9.1.1))
-  (rocq-stdlib (>= 9.1.0))
+  (rocq-stdlib (>= 9.0.0))
   (warblre (= 0.1.0))
   (strict-order-solver (>= 1.0.0))))
diff --git a/linden.opam b/linden.opam
index 5f9e8a8..54f1d6b 100644
--- a/linden.opam
+++ b/linden.opam
@@ -9,7 +9,7 @@ bug-reports: "https://github.com/epfl-systemf/Linden/issues"
 depends: [
   "dune" {>= "3.21"}
   "rocq-core" {>= "9.1.1"}
-  "rocq-stdlib" {>= "9.1.0"}
+  "rocq-stdlib" {>= "9.0.0"}
   "warblre" {= "0.1.0"}
   "strict-order-solver" {>= "1.0.0"}
   "odoc" {with-doc}