From f7dcad077cfa2b5ccb02072c977ec97cec8a8805 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 8 Nov 2022 15:00:07 +0100
Subject: [PATCH] mathcomp: use ocaml-findlib.

---
 srcpkgs/mathcomp/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"