gb gnat-4.9_4.9.0-1 . armel The build was attempted before gcc-4.0-source (4.9.0-1) became available on that buildd; instead it used (4.9-20140411-2) and failed to apply some patches. gcc-4.0-source (4.9.0-1) is available now. I will tighten build dependencies in future uploads to avoid a repetition of this problem. All other buildds succeeded. Thanks -- Ludovic Brenta.