Fix opam file

mattam82 · Jan 28, 2025 · cf0a2a3 · cf0a2a3
1 parent a5efe63
commit cf0a2a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-equations.opam → rocq-equations.opam b/coq-equations.opam → rocq-equations.opam
@@ -31,7 +31,7 @@ run-test: [
   [make "test-suite"]
 ]
 depends: [
-  "coq" {= "dev"}
+  "rocq-prover" {= "dev"}
   "ocamlfind" {build}
 ]
 #depopts: [