The bug just struck on a buildd on powerpc: see http://buildd.debian.org/fetch.cgi?pkg=gnat-gps;ver=4.0.1-3;arch=powerpc;stamp=1164850518
Two days earlier, on the same machine (malo), the same package built successfully: http://buildd.debian.org/fetch.cgi?&pkg=gnat-gps&ver=4.0.1-1&arch=powerpc&stamp=1164674176&file=log debian-admin, could you please investigate and see if dpkg-dev was "upgraded" in the mean time? -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]