coqc(1) on Linux
The text 387c5fc89ec6, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant compiler
Flags it lists
-
-h
The text 387c5fc89ec6, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant compiler
-h