Fabio Valentini <decathorpe@xxxxxxxxx> writes: > On Tue, Jan 17, 2023 at 1:39 PM Jakub Jelinek <jakub@xxxxxxxxxx> wrote:> >> On Tue, Jan 17, 2023 at 01:24:45PM +0100, Miro Hrončok wrote: >> > Hello. GCC was updated to 13 in rawhide while the Fedora change was still >> > being voted about by FESCo. >> > >> > Apparently, the following packages now don't install: >> >> There is a mass rebuild tomorrow. The Ada soname changes every year >> and we've never rebuilt Ada packages separately for that, just during the >> mass rebuild. > > "Because we've always done it like that" is usually not a good > argument for something bad to remain the way it is - > (especially since this change hasn't even formally been approved by FESCo). Yes, that happens every year because of koji limitation. Ada rebuild is not just mass-rebuild thing. Because of circular dependencies: gprbuild buildrequires xmlada and xmlada build requires gprbuild and both of them requires gcc-gnat.so.<version> they were built with bootstrap of gprbuild should be done which requires manual steps (pretty straightforward process and documented in xmlada and gprbuild spec files though. thanks to Bjorn!) -- Pavel > > Fabio > _______________________________________________ > devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx > To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx > Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx > Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue