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