coqdep(1) on Linux
The text da56c2e4ed3f, as Debian 5.0 (Lenny) shipped it.
Compute inter-module dependencies for Coq and Caml programs
Flags it lists
-
-D -
-c -
-i -
-slash -
-w