Merge pull request #3271 from proux01/coq-stdlib_dev

[core-dev] Update coq-stdlib following coq/coq#19952
coq · Dec 21, 2024 · 1b0f530 · 1b0f530
2 parents fd1e5ec + 45db3df
commit 1b0f530
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -22,7 +22,7 @@ doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
   "dune" {>= "3.8"}
-  "coq-core"
+  "rocq-runtime"
   "rocq-core" {= version}
   "odoc" {with-doc}
 ]
@@ -32,6 +32,7 @@ build: [
   ["sh" "-c" "echo '(dirs stdlib)' > dune"]
   ["dune" "subst"] {dev}
   [
+    "stdlib/dev/with-rocq-wrap.sh"
     "dune"
     "build"
     "-p"