coqdep(1) on Linux
The text d80bf9c62b4e, as Debian 9 (Stretch) shipped it.
Compute inter-module dependencies for Coq and Caml programs
Flags it lists
-
-boot -
-c -
-sort