coqchk(1) on Linux
The text f19a706cb1cb, as Debian 10 (Buster) shipped it.
The Coq Proof Checker compiled libraries verifier
Flags it lists
-
--help -
--memory -
--output-context -
-h -
-impredicative-set -
-m -
-o -
-silent -
-v -
-where