coqnative(1) on Linux
The text c85a30d816f7, as Debian 13 (Trixie) shipped it.
native Coq compiler
Flags it lists
-
--help -
-boot -
-h -
-noinit