coqmktop(1) on Linux
The text b9636ae56d7a, as Debian 2.2 (Potato) shipped it.
The Coq user-tactics linker
Flags it lists
-
-notactics -
-opt -
-searchisos -
-top