dev-lang:boogie-3.0.4:20230916-173833.log

dev-lang:boogie-3.0.4:20230916-173833.log (text/plain), 19.87 KB, created by Toralf Förster on 2023-09-16 17:49:02 UTC

 * Package:    dev-lang/boogie-3.0.4:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/boogie-org/boogie/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
 * Checking for at least 2 GiB disk space at "/var/tmp/portage/dev-lang/boogie-3.0.4/temp" ...
 [ ok ]
 * Using dotnet SDK "dotnet-bin-7.0" from "/usr/bin/dotnet-bin-7.0".
>>> Unpacking source...
>>> Unpacking boogie-3.0.4.tar.gz to /var/tmp/portage/dev-lang/boogie-3.0.4/work
>>> Source unpacked in /var/tmp/portage/dev-lang/boogie-3.0.4/work
>>> Preparing source in /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4 ...
 * Operating System:
 *   Process Architecture: X64
 *   OS Version: Unix 6.5.3.0
 * Dotnet SDK:
 *   Version: 7.0.11
 *   Framework Description: .NET 7.0.11
 * Dotnet Runtime:
 *   Process File Name: /opt/dotnet-sdk-bin-7.0/dotnet
 *   Runtime Directory: /opt/dotnet-sdk-bin-7.0/shared/Microsoft.NETCore.App/7.0.11/
 * Running "dotnet-pkg-base_restore" for project: "BoogieDriver.csproj" ...
 * 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
  Determining projects to restore...
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11)
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11)
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102:   - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj]
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj (in 703 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj (in 702 ms).
  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
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_configure
 *   environment, line 1239:  Called dotnet-pkg_src_configure
 *   environment, line  895:  Called dotnet-pkg_foreach-project 'dotnet-pkg-base_restore'
 *   environment, line  880:  Called dotnet-pkg-base_restore 'Source/BoogieDriver/BoogieDriver.csproj'
 *   environment, line  822:  Called edotnet 'restore' '--runtime' 'linux-x64' '--source' '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets' '-maxCpuCount:5' 'Source/BoogieDriver/BoogieDriver.csproj'
 *   environment, line 1086:  Called edo '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'
 *   environment, line 1072:  Called die
 * The specific snippet of code:
 *       "$@" || die -n "Failed to run command: $@"
 * 
 * If you need support, post the output of `emerge --info '=dev-lang/boogie-3.0.4::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-lang/boogie-3.0.4::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-lang:boogie-3.0.4:20230916-173833.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4'
 * S: '/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4'