[core-dev] Update coq-stdlib following coq/coq#19952

proux01 · Dec 20, 2024 · 9112bd6 · 9112bd6
1 parent fd1e5ec
commit 9112bd6
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"
+  "coq-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"