gnatelim(1) on Linux
The text 5f0db42d2dcf, as Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie) shipped it. The page shows this text now.
eliminate dead code from Ada programs
Flags it lists
-
-a -
-m -
-v -
-vf