too long lines were shrinked: Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj (in 702 ms). Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj (in 703 ms). Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj (in 702 ms). Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj (in 702 ms). Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj (in 703 ms). Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj (in 702 ms). * ERROR: dev-lang/boogie-3.0.4::gentoo failed (configure phase): * Failed to run command: dotnet-bin-7.0 restore --runtime linux-x64 --source /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets -maxCpuCount:5 Source/BoogieDriver/BoogieDriver.csproj * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20230916-053003 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): Python 3.11.5 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.72.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17] 2) Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 system-vm php cli (if any): go version go1.21.1 linux/amd64 HEAD of ::gentoo commit 249462f7dfec665d29bb75dc60063a69b22eb8b7 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Sep 16 17:16:40 2023 +0000 2023-09-16 17:16:40 UTC emerge -qpvO dev-lang/boogie [ebuild N ] dev-lang/boogie-3.0.4 USE="-debug -test"
Created attachment 870757 [details] emerge-info.txt
Created attachment 870758 [details] dev-lang:boogie-3.0.4:20230916-173833.log
Created attachment 870759 [details] emerge-history.txt
Created attachment 870760 [details] environment
Created attachment 870761 [details] etc.portage.tar.xz
The file size of ./files/temp.tar.xz is too big (203M) for an upload. For few weeks the link http://tinderbox.zwiebeltoralf.de:31560/17.1-20230916-053003/var/tmp/tb/issues/20230916-173843-dev-lang_boogie-3.0.4/files/temp.tar.xz is valid.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b38efbf6d8504046353f95aaf85977f50be2a56c commit b38efbf6d8504046353f95aaf85977f50be2a56c Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-09-16 22:25:12 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-09-17 19:20:27 +0000 dev-dotnet/dotnet-sdk-bin: fix dotnet-runtime-nugets dependencies Closes: https://bugs.gentoo.org/914302 Signed-off-by: Maciej Barć <xgqt@gentoo.org> ...dotnet-sdk-bin-7.0.401.ebuild => dotnet-sdk-bin-7.0.401-r1.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
