From 8f4146109ca55023a45e18d279ac1275e2f15a39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A8le=20Barri=C3=A8re?= <aurele.barriere@cnrs.fr>
Date: Mon, 15 Jun 2026 15:50:50 +0200
Subject: [PATCH] Chore: support rocq-stdlib=9.0.0

---
 dune-project | 2 +-
 linden.opam  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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}