patscc(1) on Linux
The text fbbb18cc6d6e, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie) shipped it. The page shows this text now.
ATS2 compiler frontend
Flags it lists
-
--compile -
--gline -
--typecheck -
--version -
-DATS -
-DDATS -
-IATS -
-IIATS -
-atsccomp -
-ccats -
-cleanaft -
-fdats -
-fsats -
-tcats -
-vats