coqmktop(1) on Linux
The text 1b63f95991ad, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
The Coq Proof Assistant user-tactics linker
Flags it lists
-
-full -
-h -
-ide -
-opt -
-searchisos -
-top -
-v8