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