gallina(1) on Linux
The text 9dfe530c8961, as Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it. The page shows this text now.
extracts specification from Coq vernacular files
Flags it lists
-
-nocomments -
-stdout