Hi Tobias, Tobias Hansen <thansen@debian.org> writes: > The bug is in gnat-4.4. You tested the wrong package. I missed the fact that gnat-4.4 is _also_ in testing. My apologies. -- Best regards, Michael