coqc(1) on Linux
The text 38bf253ae029, as Debian 2.2 (Potato) shipped it.
The Coq compiler
Flags it lists
-
-batch -
-i
The text 38bf253ae029, as Debian 2.2 (Potato) shipped it.
The Coq compiler
-batch
-i