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