Ludovic, I forgot to update gnat-4.1 in unstable before updating gcc-4.1; building gnat-4.1_4.1.2 will require some manual action. Does something else in gnat-4.1 needs an update, or should I go ahead with current SVN? Matthias