Please note that if and when this freeze exception is granted, it will become necessary also to allow gnat-4.9 into testing because the version currently in testing (gnat-4.9/4.9.1-4) build-depends on gcc-4.9-source/4.9.1-* which will no longer be in testing. gnat-4.9/4.9.2-1 has been in unstable since 2014-11-19. -- Ludovic Brenta.