I have just uploaded gnat-4.9 (4.9-20140218-1) to the NEW queue; the FTP masters will examine the package and upload it to experimental, hopefully within a few days. This is revision 3f519073fea55539758f3fcd8223535269911255 on org.debian.gnat-4.9. Thanks to all who contributed to this; the near future is looking bright with several other packages almost ready for upload :) -- Ludovic Brenta.