adapt to coq/coq#20126

uds-psl · Jan 27, 2025 · 6760105 · 6760105
1 parent 939e11d
commit 6760105
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam b/opam
@@ -26,7 +26,7 @@ install: [
   [make "install"]
 ]
 depends: [
-  "rocq" {= "dev"}
+  "rocq-prover" {= "dev"}
   "ocaml"
   # "coq-metacoq-template" {= "dev"}
 ]