diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template
index 034728a1930..46ca6080ef6 100644
--- a/srcpkgs/mathcomp/template
+++ b/srcpkgs/mathcomp/template
@@ -5,7 +5,7 @@ revision=2
 wrksrc="math-comp-mathcomp-${version}"
 build_wrksrc="mathcomp"
 build_style=gnu-makefile
-hostmakedepends="coq"
+hostmakedepends="coq ocaml-findlib"
 short_desc="Mathematical Components Library for the Coq proof assistant"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="CECILL-B"