To remove just gnat-5-sjlj-mips-linux-gnu package itself from Debian 9 (Stretch) execute on terminal:
sudo apt-get remove gnat-5-sjlj-mips-linux-gnu
Uninstall gnat-5-sjlj-mips-linux-gnu and it's dependent packages
To remove the gnat-5-sjlj-mips-linux-gnu package and any other dependant package which are no longer needed from Debian Stretch.
sudo apt-get remove --auto-remove gnat-5-sjlj-mips-linux-gnu
If you also want to delete configuration and/or data files of gnat-5-sjlj-mips-linux-gnu from Debian Stretch then this will work:
sudo apt-get purge gnat-5-sjlj-mips-linux-gnu
To delete configuration and/or data files of gnat-5-sjlj-mips-linux-gnu and it's dependencies from Debian Stretch then execute:
sudo apt-get purge --auto-remove gnat-5-sjlj-mips-linux-gnu
More information about apt-get remove
apt-get remove is identical to install except that packages are removed instead of installed. Note that removing a package leaves its configuration files on the system. If a plus sign is appended to the package name (with no intervening space), the identified package will be installed instead of removed.