coqmktop(1) on Linux

The text 97638f63ea0e, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

The Coq Proof Assistant user-tactics linker

Flags it lists