Merge pull request #3307 from proux01/rocq-stdlib-dev

[core-dev] Update rocq-stdlib bounds
coq · Jan 25, 2025 · 1e8a27a · 1e8a27a
2 parents 215996c + 06199f9
commit 1e8a27a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -23,7 +23,7 @@ bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "dune" {>= "3.8"}
   "rocq-runtime"
-  "rocq-core" {= version}
+  "rocq-core" {>= "9.0" | = "dev"}
   "odoc" {with-doc}
 ]
 depopts: ["coq-native"]