This package has been in unstable for 10 days and makes the transition to gnat-4.3, closing RC bug #471609 and minor bug #480532. Thanks. -- Ludovic Brenta.