coqchk.opt(1) on Linux
The text 0a2457769de5, as Debian 13 (Trixie) shipped it. The page shows this text now.
verify compiled Coq libraries
Flags it lists
-
--help -
--memory -
--output-context -
-h -
-impredicative-set -
-m -
-o -
-silent -
-v -
-where