diff --git a/sci-mathematics/coq/coq-8.6.ebuild b/sci-mathematics/coq/coq-8.6.ebuild
index 3e10d3367040f..e87893f05cad2 100644
--- a/sci-mathematics/coq/coq-8.6.ebuild
+++ b/sci-mathematics/coq/coq-8.6.ebuild
@@ -24,6 +24,7 @@ RDEPEND="
 	!camlp5? ( dev-ml/camlp4:= )
 	gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] )"
 DEPEND="${RDEPEND}
+	dev-ml/findlib
 	doc? (
 		media-libs/netpbm[png,zlib]
 		virtual/latex-base