Install the latest version of sh4-linux-gnu-gnat-6 in Debian and Ubuntu from terminal. To install the sh4-linux-gnu-gnat-6 just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of sh4-linux-gnu-gnat-6 from the respository and install it in your computer/server.