sudo apt install gnat

:-)

If you

   curl > install.sh
   sh install.sh

then you have a copy of what you just executed