https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: dev-lang/boogie-2.15.8 fails to compile. Discovered on: amd64 (internal ref: ci)
Created attachment 818425 [details] build.log build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b4089e67b207d2f37d2dc9c7d18228165684f52 commit 0b4089e67b207d2f37d2dc9c7d18228165684f52 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-10-04 15:22:21 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-10-04 15:24:45 +0000 dev-lang/boogie: add icu dependency Closes: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/boogie/{boogie-2.15.8-r1.ebuild => boogie-2.15.8-r2.ebuild} | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-)
*** Bug 875134 has been marked as a duplicate of this bug. ***
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2a73fc635a5543ca87a317b64ed32ca8b76c9b9 commit c2a73fc635a5543ca87a317b64ed32ca8b76c9b9 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-10-07 22:06:41 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-10-07 22:42:14 +0000 dev-dotnet/dotnet-sdk-bin: add ICU dependency putting ICU in optfeature was a bad idea Bug: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org> ...t-sdk-bin-3.1.422.ebuild => dotnet-sdk-bin-3.1.422-r1.ebuild} | 9 +-------- ...t-sdk-bin-3.1.423.ebuild => dotnet-sdk-bin-3.1.423-r1.ebuild} | 9 +-------- ...t-sdk-bin-5.0.408.ebuild => dotnet-sdk-bin-5.0.408-r1.ebuild} | 9 +-------- ...t-sdk-bin-6.0.401.ebuild => dotnet-sdk-bin-6.0.400-r1.ebuild} | 9 +-------- ...t-sdk-bin-6.0.400.ebuild => dotnet-sdk-bin-6.0.401-r1.ebuild} | 9 +-------- .../boogie/{boogie-2.15.8-r3.ebuild => boogie-2.15.8-r4.ebuild} | 5 +---- 6 files changed, 6 insertions(+), 44 deletions(-)
