Source: gcc-5 Version: 5.3.1-8 Severity: important Usertags: gnat-5 Hi,
Due to the Debian patch ada-gcc-name.diff the name of gcc becomes gcc-5-5 instead of gcc-5. This is easily shown with: /usr/bin/gnatchop -v fc51b00.a where fcb51b.a is located at src/gcc/testsuite/ada/acats/support/ (same when run as a shell command) GNATCHOP 5.3.1 Copyright (C) 1998-2015, Free Software Foundation, Inc. gcc-5-5: installation problem, executable not found no source files written However, issuing the command directly via path works: gnatchop -v fc51b00.a GNATCHOP 5.3.1 Copyright (C) 1998-2015, Free Software Foundation, Inc. /usr/bin/gcc-5 -c -x ada -gnats -gnatu fc51b00.a splitting fc51b00.a into: fc51b00.ads with: which gnatchop /usr/bin/gnatchop Strange, isn't it?