I'd be happy to add support for ppc64 but this requires that gnat-4.3 is known to work on that architecture. Is that the case? I can't see it on http://debian-ppc64.alioth.debian.org/buildd-logs. -- Ludovic Brenta.