coqdep(1) on Linux
The text 3d7580475ed3, as Debian 11 (Bullseye) shipped it.
Compute inter-module dependencies for Coq and Caml programs
Flags it lists
-
-boot -
-sort -
-vos