This is an auto-filed bug because sci-mathematics/prover9 fails tests. The issue was originally discovered on amd64, but it may be reproducible on other arches as well. If you think that a different summary clarifies the issue better, feel free to change it. Attached build log and emerge --info. NOTE: If you need further logs, feel free to ask.
Created attachment 642042 [details] build.log build log and emerge --info
tinderbox_musl has reproduced this issue with version 2009.11a - Updating summary.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd commit ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-02-14 16:19:37 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-02-14 17:01:37 +0000 sci-mathematics/prover9: fix tests; bump to EAPI 8 Closes: https://bugs.gentoo.org/725594 Signed-off-by: Maciej Barć <xgqt@gentoo.org> ...-2009.11a.ebuild => prover9-2009.11a-r1.ebuild} | 48 +++++++++++----------- 1 file changed, 23 insertions(+), 25 deletions(-)