On 19.07.2018 23:26, Nicolas Boulenguez wrote: >> gcc-defaults pointing to GCC 8 is now in unstable. I assume we can wait until >> it is installed in the buildd chroots, and then retry the build? > > I think so. > But then gcc-7 has the same problem. yes, we could use gcc-6/gnat-6 to build it again.