Hi Emilio On 08/10/2014 04:54 PM, Emilio Pozuelo Monfort wrote: > The last blockers are #756081 and #755076. Can someone from debian-ada take a > look at those? Thanks for the ping. I will transition all my packages to gnat-4.9 this week (hopefully). - reto