I just noticed that sysutils/findlib should be added
to RUN_DEPENDS of math/rocq.

findlib is already in BUILD_DEPENDS.
I sometimes randomly rebuild installed packages and "pkg_delete -a",
and noticed that "pkg_delete -a" removed findlib, and
coqtop does not work without findlib.

Simple diff to add findlib to RUN_DEPENDS below.

myhost$ diff -u /usr/ports/math/rocq/Makefile ./Makefile
--- /usr/ports/math/rocq/Makefile       Sat Aug  9 08:50:00 2025
+++ ./Makefile  Tue Oct 14 02:58:59 2025
@@ -9,7 +9,7 @@
 V =                    8.20.1
 DISTNAME =             coq-${V}
 PKGNAME =              rocq-${V}
-REVISION =             0
+REVISION =             1
 
 SITES =                        https://github.com/rocq-prover/rocq/releases/download/V${V}/
 
@@ -32,6 +32,7 @@
                devel/dune
 
 RUN_DEPENDS=   x11/lablgtk3 \
+               sysutils/findlib \
                math/ocaml-zarith
 
 LIB_DEPENDS=   devel/gmp
myhost$ 


-- yozo.