coqdep(1) on Linux

The text 80edb07c1d3b, as Debian 12 (Bookworm) shipped it.

Compute inter-module dependencies for Coq programs

Flags it lists