coqmktop(1) on Linux
The text fd46518a547e, as Debian 5.0 (Lenny) shipped it.
The Coq Proof Assistant user-tactics linker
Flags it lists
-
-full -
-h -
-ide -
-opt -
-searchisos -
-top -
-v8