coqwc(1) on Linux
The text 698e2d341e89, as Debian 13 (Trixie) shipped it.
print the number of specification, proof and comment lines in Coq files
Flags it lists
-
-e -
-p -
-r -
-s