coqdep(1) on Linux
The text 20bea18d9358, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
Compute inter-module dependencies for Coq and Caml programs
Flags it lists
-
-D -
-c -
-i -
-w