My apologies if I selected the wrong severity level; this is my first time submitting a report to Debian.
For the record I also tried building libgtkada from source using my own GCC 4.7.0 build, and it failed in the same way as the example - having built the tools, it tried to build the TestGTK example and failed in the same way. Same fixes worked. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org