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