coqchk(1) on Linux
The text 4b4935d9a3ad, as Debian 7 (Wheezy) shipped it.
The Coq Proof Assistant compiled libraries verifier
Flags it lists
-
--help -
--memory -
--output-context -
-h -
-impredicative-set -
-m -
-o -
-silent -
-v -
-where