tla2vcd(1) on Linux
The text f42d543680f2, as Debian 5.0 (Lenny), Debian 4.0 (Etch) shipped it. The page shows this text now.
Converts TLA to VCD or LST files
Flags it lists
-
-a -
-l -
-m -
-s -
-t -
-v -
-z