coqdep(1) on Linux
The text a889b110fa19, as Debian 13 (Trixie) shipped it.
compute inter-module dependencies for Coq programs
Flags it lists
-
-boot -
-dyndep -
-noinit -
-sort -
-vos