https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125241

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The GCC project only distributes sources, not binaries. Moreover, it looks like
you didn't attach the correct bug report here, it contains "DRAFT for AdaCore
filing" in several places and this Bugzilla has nothing to do with them.

Reply via email to