dev-gap/semigroups: allow building with gcc-15 #43227
Conversation
Pull Request assignmentSubmitter: @dimpase dev-gap/semigroups: @orlitzky, @kiwifb, @gentoo/proxy-maint, @gentoo/sci-mathematics Linked bugsBugs linked: 960613 In order to force reassignment and/or bug reference scan, please append Docs: Code of Conduct ● Copyright policy (expl.) ● Devmanual ● GitHub PRs ● Proxy-maint guide |
Pull request CI reportReport generated at: 2025-07-29 05:30 UTC There are existing issues already. Please look into the report to make sure none of them affect the packages in question: |
|
Thanks, this must have been reported while the bugzilla mail was broken, I don't remember seeing it. Can you split the commit please? One for libsemigroups and one for dev-gap/semigroups. |
this is mainly to allow building with gcc-15 Closes: https://bugs.gentoo.org/960613 Signed-off-by: Dima Pasechnik <dima@pasechnik.info>
needed to support deg-gap/semigroups-5.5.3 Closes: https://bugs.gentoo.org/960613 Signed-off-by: Dima Pasechnik <dima@pasechnik.info>
|
@orlitzky - done |
Pull request CI reportReport generated at: 2025-07-29 18:55 UTC There are existing issues already. Please look into the report to make sure none of them affect the packages in question: |
also bump its dependency libsemigroups to 2.7.4
Closes: https://bugs.gentoo.org/960613
Please check all the boxes that apply:
Signed-off-byline to every commit in the pull request.pkgcheck scan --commits --netto check for issues with my commits.Please note that all boxes must be checked for the pull request to be merged.