Merge PR #9957: Add missing build dependency in `coq.opam`

Reviewed-by: ejgallego

1 files changed, 1 insertions, 0 deletions

diff --git a/coq.opam b/coq.opam
index ae1f688312..02c57b8683 100644
--- a/coq.opam
+++ b/coq.opam
@@ -21,6 +21,7 @@ license: "LGPL-2.1"
 depends: [
   "ocaml"     {         >= "4.05.0" }
   "dune"      { build & >= "1.4.0"  }
+  "ocamlfind" { build }
   "num"
 ]