From 6304f7465179e41644a178d0a434935f1f1563bd Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 28 Apr 2023 13:51:17 +0200
Subject: [PATCH] coq: needs ocaml-findlib at runtime.

---
 srcpkgs/coq/template | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 88d4da371d0..45d44caf3c6 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,8 +1,9 @@
 # Template file for 'coq'
 pkgname=coq
 version=8.16.1
-revision=1
+revision=2
 hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
+depends="ocaml-findlib"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"