coqwc(1) on Linux

The text a59a4e64733b, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

print the number of specification, proof and comment lines in Coq files

Flags it lists