coq-interface(1) on Linux
The text d23a3c2a5473, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
Flags it lists
-
-h
The text d23a3c2a5473, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
-h