coqwc(1) on Linux
The text 6a66f00a691d, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
print the number of specification, proof and comment lines in Coq files
Flags it lists
-
-e -
-p -
-r -
-s