I changed TMPDIR -> ADTTMP in the VCS. Thanks for the advice. Concerning the dependencies, libgmpada4-dev depends on gnat-4.6, which contains /usr/bin/gnatmake. If I understand the specification, the default "Depends: @" should be sufficient. Did you actually try?
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org