Add dependency to coq, as dune relies on the coq compatibility packages

coq · Jan 29, 2025 · d13b0fb · d13b0fb
1 parent d170aaa
commit d13b0fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/rocq-equations/rocq-equations.dev/opam b/extra-dev/packages/rocq-equations/rocq-equations.dev/opam
@@ -33,6 +33,7 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "rocq-prover" { = "dev" }
+  "coq" { = "dev" }
   "ppx_optcomp" {build}
   "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}