Thanks for the update. Calling gnatgcc is actually correct; the bug, then, is merely a missing dependency on the package 'gnat', the sole purpose of which is to provide the gnatgcc symlink and to depend on the default gnat-x.y.
So, please remove the symlinks you created manually and install package 'gnat'. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org