On 30/04/15 15:22, Matthias Klose wrote: >> The isl transition needs rebuilds of gcc-mingw-w64 and gnat-mingw-w64; >> binNMUs are sufficient. Could the following be queued? >> >> nmu gcc-mingw-w64_15.1 . ALL . -m "Rebuild with isl 0.14." >> nmu gnat-mingw-w64_15 . ALL . -m "Rebuild with isl 0.14." >> >> Thanks in advance, > > needs to be done for gcc-arm-none-eabi as well. What about gnat-4.9? Emilio