From d578525bf86e3304afbafe8f5bc3982d16796dc5 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 14 Apr 2019 00:46:09 +0200
Subject: Fix coq/coq#9956

---
 coq.opam | 1 +
 1 file changed, 1 insertion(+)

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"
 ]
 
-- 
cgit v1.2.3