This release of gnade makes the transition to gnat-4.3, thereby closing an RC bug (#471619). It has been in unstable for the usual 10 days with no new bug reported. Thanks. -- Ludovic Brenta.