On Fri, 2012-04-13 at 08:44 +0000, Ludovic Brenta wrote: > Hi, > > This is a status update about the transition to gnat-4.6. > The previous status update is at > http://lists.debian.org/debian-ada/2012/02/msg00021.html What about ghdl? It currently depends on gnat-4.4. I assume it does not build with gnat-4.6. It was built on most buildds more than a year ago.