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