Merge pull request #3317 from SkySkimmer/fix-rocq-prover

Fix rocq-prover.dev
coq · Jan 27, 2025 · 17a842e · 17a842e
2 parents bb90ede + 1a8c982
commit 17a842e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/rocq-prover/rocq-prover.dev/opam b/core-dev/packages/rocq-prover/rocq-prover.dev/opam
@@ -35,7 +35,7 @@ build: [
     "dune"
     "build"
     "-p"
-    "rocq"
+    name
     "-j"
     jobs
     "@install"