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