You can just do `apt install gnat` or `pacman -S gcc-ada` for free :)