coqchk(1) on Linux
The text 72b3d32be91c, as Arch Linux 2026-11-01 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