Ubuntu 16.04.4 LTS gnat-gps:amd64/xenial 5.3dfsg-1ubuntu1
Another example: Before fatal error, IDE message log keeps printing: Source ID #### was not found when attempting to remove it
Ubuntu 16.04.4 LTS amd64/xenial 5.3dfsg-1ubuntu1
gnat-gps:
Another example:
Before fatal error, IDE message log keeps printing:
Source ID #### was not found when attempting to remove it