portage-ng / portage / dev-lang / dafny / 4.11.0
portage-ng --fetchonly
>>> Emerging : portage://dev-lang/dafny-4.11.0:run?{[]}

These are the packages that would be merged, in order:

Calculating dependencies... done!

 └─step  1─┤ download  portage://app-crypt/mit-krb5-1.22.2-r2
             │           └─ file ─┤ 8.34 Mb  	 krb5-1.22.2.tar.gz
             │ download  portage://app-eselect/eselect-dotnet-1.0.1
             │           └─ file ─┤ 8.23 Kb  	 eselect-dotnet-1.0.1.tar.bz2
             │ download  portage://app-eselect/eselect-java-0.5.1
             │           └─ file ─┤ 13.99 Kb  	 eselect-java-0.5.1.tar.bz2
             │ download  portage://app-portage/gemato-20.15
             │           └─ file ─┤ 94.28 Kb  	 gemato-20.15.tar.gz
             │ download  portage://dev-dotnet/coco-2014.12.25-r1
             │           └─ file ─┤ 36.84 Kb  	 coco-2014.12.25.snapshot.gh.tar.gz
             │ download  portage://dev-dotnet/csharp-gentoodotnetinfo-2.0.0-r1
             │           └─ file ─┤ 2.14 Mb  	 coverlet.collector.6.0.2.nupkg
             │                    │ 25.79 Kb  	 csharp-gentoodotnetinfo-2.0.0.ggo.tar.bz2
             │                    │ 8.98 Mb  	 microsoft.codecoverage.17.12.0.nupkg
             │                    │ 70.46 Kb  	 microsoft.dotnet.platformabstractions.3.1.6.nupkg
             │                    │ 33.49 Kb  	 microsoft.net.test.sdk.17.12.0.nupkg
             │                    │ 1.58 Mb  	 microsoft.testplatform.objectmodel.17.12.0.nupkg
             │                    │ 2.75 Mb  	 microsoft.testplatform.testhost.17.12.0.nupkg
             │                    │ 1.97 Mb  	 newtonsoft.json.13.0.1.nupkg
             │                    │ 686.37 Kb  	 nunit.4.2.2.nupkg
             │                    │ 130.30 Kb  	 nunit.analyzers.4.4.0.nupkg
             │                    │ 500.61 Kb  	 nunit3testadapter.4.6.0.nupkg
             │                    │ 602.18 Kb  	 system.commandline.2.0.0-beta4.22272.1.nupkg
             │                    │ 832.14 Kb  	 system.reflection.metadata.1.6.0.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-10.0.13
             │           └─ file ─┤ 6.88 Mb  	 microsoft.aspnetcore.app.ref.10.0.13.nupkg
             │                    │ 12.22 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.10.0.13.nupkg
             │                    │ 11.84 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.10.0.13.nupkg
             │                    │ 12.22 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.10.0.13.nupkg
             │                    │ 11.84 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.10.0.13.nupkg
             │                    │ 12.36 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.10.0.13.nupkg
             │                    │ 12.36 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.10.0.13.nupkg
             │                    │ 92.75 Kb  	 microsoft.dotnet.ilcompiler.10.0.13.nupkg
             │                    │ 1.46 Mb  	 microsoft.net.illink.tasks.10.0.13.nupkg
             │                    │ 4.34 Mb  	 microsoft.net.sdk.webassembly.pack.10.0.13.nupkg
             │                    │ 4.17 Mb  	 microsoft.netcore.app.host.linux-arm.10.0.13.nupkg
             │                    │ 5.06 Mb  	 microsoft.netcore.app.host.linux-arm64.10.0.13.nupkg
             │                    │ 4.16 Mb  	 microsoft.netcore.app.host.linux-musl-arm.10.0.13.nupkg
             │                    │ 5.06 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.10.0.13.nupkg
             │                    │ 5.30 Mb  	 microsoft.netcore.app.host.linux-musl-x64.10.0.13.nupkg
             │                    │ 5.31 Mb  	 microsoft.netcore.app.host.linux-x64.10.0.13.nupkg
             │                    │ 6.86 Mb  	 microsoft.netcore.app.ref.10.0.13.nupkg
             │                    │ 35.58 Mb  	 microsoft.netcore.app.runtime.linux-arm.10.0.13.nupkg
             │                    │ 35.84 Mb  	 microsoft.netcore.app.runtime.linux-arm64.10.0.13.nupkg
             │                    │ 35.58 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.10.0.13.nupkg
             │                    │ 35.85 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.10.0.13.nupkg
             │                    │ 38.25 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.10.0.13.nupkg
             │                    │ 38.24 Mb  	 microsoft.netcore.app.runtime.linux-x64.10.0.13.nupkg
             │                    │ 12.56 Mb  	 runtime.linux-arm64.microsoft.dotnet.ilcompiler.10.0.13.nupkg
             │                    │ 12.55 Mb  	 runtime.linux-musl-arm64.microsoft.dotnet.ilcompiler.10.0.13.nupkg
             │                    │ 13.22 Mb  	 runtime.linux-musl-x64.microsoft.dotnet.ilcompiler.10.0.13.nupkg
             │                    │ 13.22 Mb  	 runtime.linux-x64.microsoft.dotnet.ilcompiler.10.0.13.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-6.0.33
             │           └─ file ─┤ 3.20 Mb  	 microsoft.aspnetcore.app.ref.6.0.33.nupkg
             │                    │ 9.66 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.6.0.33.nupkg
             │                    │ 9.44 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.6.0.33.nupkg
             │                    │ 9.66 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.6.0.33.nupkg
             │                    │ 9.44 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.6.0.33.nupkg
             │                    │ 9.77 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.6.0.33.nupkg
             │                    │ 9.77 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.6.0.33.nupkg
             │                    │ 3.87 Mb  	 microsoft.netcore.app.host.linux-arm.6.0.33.nupkg
             │                    │ 4.31 Mb  	 microsoft.netcore.app.host.linux-arm64.6.0.33.nupkg
             │                    │ 3.87 Mb  	 microsoft.netcore.app.host.linux-musl-arm.6.0.33.nupkg
             │                    │ 4.32 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.6.0.33.nupkg
             │                    │ 4.69 Mb  	 microsoft.netcore.app.host.linux-musl-x64.6.0.33.nupkg
             │                    │ 4.78 Mb  	 microsoft.netcore.app.host.linux-x64.6.0.33.nupkg
             │                    │ 4.56 Mb  	 microsoft.netcore.app.ref.6.0.33.nupkg
             │                    │ 31.86 Mb  	 microsoft.netcore.app.runtime.linux-arm.6.0.33.nupkg
             │                    │ 31.68 Mb  	 microsoft.netcore.app.runtime.linux-arm64.6.0.33.nupkg
             │                    │ 31.87 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.6.0.33.nupkg
             │                    │ 31.70 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.6.0.33.nupkg
             │                    │ 31.32 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.6.0.33.nupkg
             │                    │ 31.72 Mb  	 microsoft.netcore.app.runtime.linux-x64.6.0.33.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-6.0.36
             │           └─ file ─┤ 3.21 Mb  	 microsoft.aspnetcore.app.ref.6.0.36.nupkg
             │                    │ 9.67 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.6.0.36.nupkg
             │                    │ 9.45 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.6.0.36.nupkg
             │                    │ 9.67 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.6.0.36.nupkg
             │                    │ 9.45 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.6.0.36.nupkg
             │                    │ 9.79 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.6.0.36.nupkg
             │                    │ 9.78 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.6.0.36.nupkg
             │                    │ 3.86 Mb  	 microsoft.netcore.app.host.linux-arm.6.0.36.nupkg
             │                    │ 4.31 Mb  	 microsoft.netcore.app.host.linux-arm64.6.0.36.nupkg
             │                    │ 3.87 Mb  	 microsoft.netcore.app.host.linux-musl-arm.6.0.36.nupkg
             │                    │ 4.32 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.6.0.36.nupkg
             │                    │ 4.69 Mb  	 microsoft.netcore.app.host.linux-musl-x64.6.0.36.nupkg
             │                    │ 4.78 Mb  	 microsoft.netcore.app.host.linux-x64.6.0.36.nupkg
             │                    │ 4.57 Mb  	 microsoft.netcore.app.ref.6.0.36.nupkg
             │                    │ 31.86 Mb  	 microsoft.netcore.app.runtime.linux-arm.6.0.36.nupkg
             │                    │ 31.69 Mb  	 microsoft.netcore.app.runtime.linux-arm64.6.0.36.nupkg
             │                    │ 31.89 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.6.0.36.nupkg
             │                    │ 31.71 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.6.0.36.nupkg
             │                    │ 31.34 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.6.0.36.nupkg
             │                    │ 31.74 Mb  	 microsoft.netcore.app.runtime.linux-x64.6.0.36.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-7.0.20
             │           └─ file ─┤ 3.41 Mb  	 microsoft.aspnetcore.app.ref.7.0.20.nupkg
             │                    │ 10.33 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.7.0.20.nupkg
             │                    │ 10.16 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.7.0.20.nupkg
             │                    │ 10.34 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.7.0.20.nupkg
             │                    │ 10.14 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.7.0.20.nupkg
             │                    │ 10.38 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.7.0.20.nupkg
             │                    │ 10.39 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.7.0.20.nupkg
             │                    │ 3.87 Mb  	 microsoft.netcore.app.host.linux-arm.7.0.20.nupkg
             │                    │ 4.39 Mb  	 microsoft.netcore.app.host.linux-arm64.7.0.20.nupkg
             │                    │ 3.87 Mb  	 microsoft.netcore.app.host.linux-musl-arm.7.0.20.nupkg
             │                    │ 4.40 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.7.0.20.nupkg
             │                    │ 4.71 Mb  	 microsoft.netcore.app.host.linux-musl-x64.7.0.20.nupkg
             │                    │ 4.81 Mb  	 microsoft.netcore.app.host.linux-x64.7.0.20.nupkg
             │                    │ 5.66 Mb  	 microsoft.netcore.app.ref.7.0.20.nupkg
             │                    │ 30.97 Mb  	 microsoft.netcore.app.runtime.linux-arm.7.0.20.nupkg
             │                    │ 31.01 Mb  	 microsoft.netcore.app.runtime.linux-arm64.7.0.20.nupkg
             │                    │ 30.97 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.7.0.20.nupkg
             │                    │ 31.02 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.7.0.20.nupkg
             │                    │ 32.24 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.7.0.20.nupkg
             │                    │ 32.64 Mb  	 microsoft.netcore.app.runtime.linux-x64.7.0.20.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-8.0.32
             │           └─ file ─┤ 4.17 Mb  	 microsoft.aspnetcore.app.ref.8.0.32.nupkg
             │                    │ 11.29 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.8.0.32.nupkg
             │                    │ 11.04 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.8.0.32.nupkg
             │                    │ 11.30 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.8.0.32.nupkg
             │                    │ 11.04 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.8.0.32.nupkg
             │                    │ 11.31 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.8.0.32.nupkg
             │                    │ 11.31 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.8.0.32.nupkg
             │                    │ 101.68 Kb  	 microsoft.dotnet.ilcompiler.8.0.32.nupkg
             │                    │ 1.38 Mb  	 microsoft.net.illink.tasks.8.0.32.nupkg
             │                    │ 4.06 Mb  	 microsoft.net.sdk.webassembly.pack.8.0.32.nupkg
             │                    │ 3.77 Mb  	 microsoft.netcore.app.host.linux-arm.8.0.32.nupkg
             │                    │ 4.51 Mb  	 microsoft.netcore.app.host.linux-arm64.8.0.32.nupkg
             │                    │ 3.77 Mb  	 microsoft.netcore.app.host.linux-musl-arm.8.0.32.nupkg
             │                    │ 4.52 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.8.0.32.nupkg
             │                    │ 4.77 Mb  	 microsoft.netcore.app.host.linux-musl-x64.8.0.32.nupkg
             │                    │ 4.76 Mb  	 microsoft.netcore.app.host.linux-x64.8.0.32.nupkg
             │                    │ 6.45 Mb  	 microsoft.netcore.app.ref.8.0.32.nupkg
             │                    │ 31.72 Mb  	 microsoft.netcore.app.runtime.linux-arm.8.0.32.nupkg
             │                    │ 32.01 Mb  	 microsoft.netcore.app.runtime.linux-arm64.8.0.32.nupkg
             │                    │ 31.74 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.8.0.32.nupkg
             │                    │ 32.02 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.8.0.32.nupkg
             │                    │ 33.38 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.8.0.32.nupkg
             │                    │ 33.36 Mb  	 microsoft.netcore.app.runtime.linux-x64.8.0.32.nupkg
             │                    │ 51.83 Mb  	 runtime.linux-arm64.microsoft.dotnet.ilcompiler.8.0.32.nupkg
             │                    │ 51.84 Mb  	 runtime.linux-musl-arm64.microsoft.dotnet.ilcompiler.8.0.32.nupkg
             │                    │ 52.57 Mb  	 runtime.linux-musl-x64.microsoft.dotnet.ilcompiler.8.0.32.nupkg
             │                    │ 52.56 Mb  	 runtime.linux-x64.microsoft.dotnet.ilcompiler.8.0.32.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-8.0.8
             │           └─ file ─┤ 4.20 Mb  	 microsoft.aspnetcore.app.ref.8.0.8.nupkg
             │                    │ 11.24 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.8.0.8.nupkg
             │                    │ 10.99 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.8.0.8.nupkg
             │                    │ 11.25 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.8.0.8.nupkg
             │                    │ 11.00 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.8.0.8.nupkg
             │                    │ 11.27 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.8.0.8.nupkg
             │                    │ 11.27 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.8.0.8.nupkg
             │                    │ 101.06 Kb  	 microsoft.dotnet.ilcompiler.8.0.8.nupkg
             │                    │ 1.38 Mb  	 microsoft.net.illink.tasks.8.0.8.nupkg
             │                    │ 7.01 Mb  	 microsoft.net.sdk.webassembly.pack.8.0.8.nupkg
             │                    │ 3.76 Mb  	 microsoft.netcore.app.host.linux-arm.8.0.8.nupkg
             │                    │ 4.51 Mb  	 microsoft.netcore.app.host.linux-arm64.8.0.8.nupkg
             │                    │ 3.77 Mb  	 microsoft.netcore.app.host.linux-musl-arm.8.0.8.nupkg
             │                    │ 4.51 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.8.0.8.nupkg
             │                    │ 4.76 Mb  	 microsoft.netcore.app.host.linux-musl-x64.8.0.8.nupkg
             │                    │ 4.75 Mb  	 microsoft.netcore.app.host.linux-x64.8.0.8.nupkg
             │                    │ 6.52 Mb  	 microsoft.netcore.app.ref.8.0.8.nupkg
             │                    │ 31.72 Mb  	 microsoft.netcore.app.runtime.linux-arm.8.0.8.nupkg
             │                    │ 32.00 Mb  	 microsoft.netcore.app.runtime.linux-arm64.8.0.8.nupkg
             │                    │ 31.74 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.8.0.8.nupkg
             │                    │ 32.02 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.8.0.8.nupkg
             │                    │ 33.38 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.8.0.8.nupkg
             │                    │ 33.36 Mb  	 microsoft.netcore.app.runtime.linux-x64.8.0.8.nupkg
             │                    │ 51.82 Mb  	 runtime.linux-arm64.microsoft.dotnet.ilcompiler.8.0.8.nupkg
             │                    │ 51.83 Mb  	 runtime.linux-musl-arm64.microsoft.dotnet.ilcompiler.8.0.8.nupkg
             │                    │ 52.55 Mb  	 runtime.linux-musl-x64.microsoft.dotnet.ilcompiler.8.0.8.nupkg
             │                    │ 52.54 Mb  	 runtime.linux-x64.microsoft.dotnet.ilcompiler.8.0.8.nupkg
             │ download  portage://dev-dotnet/dotnet-runtime-nugets-9.0.21
             │           └─ file ─┤ 4.31 Mb  	 microsoft.aspnetcore.app.ref.9.0.21.nupkg
             │                    │ 11.82 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm.9.0.21.nupkg
             │                    │ 11.51 Mb  	 microsoft.aspnetcore.app.runtime.linux-arm64.9.0.21.nupkg
             │                    │ 11.82 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm.9.0.21.nupkg
             │                    │ 11.51 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-arm64.9.0.21.nupkg
             │                    │ 11.90 Mb  	 microsoft.aspnetcore.app.runtime.linux-musl-x64.9.0.21.nupkg
             │                    │ 11.90 Mb  	 microsoft.aspnetcore.app.runtime.linux-x64.9.0.21.nupkg
             │                    │ 93.30 Kb  	 microsoft.dotnet.ilcompiler.9.0.21.nupkg
             │                    │ 1.43 Mb  	 microsoft.net.illink.tasks.9.0.21.nupkg
             │                    │ 4.21 Mb  	 microsoft.net.sdk.webassembly.pack.9.0.21.nupkg
             │                    │ 4.15 Mb  	 microsoft.netcore.app.host.linux-arm.9.0.21.nupkg
             │                    │ 5.04 Mb  	 microsoft.netcore.app.host.linux-arm64.9.0.21.nupkg
             │                    │ 4.14 Mb  	 microsoft.netcore.app.host.linux-musl-arm.9.0.21.nupkg
             │                    │ 5.06 Mb  	 microsoft.netcore.app.host.linux-musl-arm64.9.0.21.nupkg
             │                    │ 5.26 Mb  	 microsoft.netcore.app.host.linux-musl-x64.9.0.21.nupkg
             │                    │ 5.25 Mb  	 microsoft.netcore.app.host.linux-x64.9.0.21.nupkg
             │                    │ 6.64 Mb  	 microsoft.netcore.app.ref.9.0.21.nupkg
             │                    │ 34.73 Mb  	 microsoft.netcore.app.runtime.linux-arm.9.0.21.nupkg
             │                    │ 35.35 Mb  	 microsoft.netcore.app.runtime.linux-arm64.9.0.21.nupkg
             │                    │ 34.73 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm.9.0.21.nupkg
             │                    │ 35.37 Mb  	 microsoft.netcore.app.runtime.linux-musl-arm64.9.0.21.nupkg
             │                    │ 37.09 Mb  	 microsoft.netcore.app.runtime.linux-musl-x64.9.0.21.nupkg
             │                    │ 37.07 Mb  	 microsoft.netcore.app.runtime.linux-x64.9.0.21.nupkg
             │                    │ 41.54 Mb  	 runtime.linux-arm64.microsoft.dotnet.ilcompiler.9.0.21.nupkg
             │                    │ 40.95 Mb  	 runtime.linux-musl-arm64.microsoft.dotnet.ilcompiler.9.0.21.nupkg
             │                    │ 41.74 Mb  	 runtime.linux-musl-x64.microsoft.dotnet.ilcompiler.9.0.21.nupkg
             │                    │ 42.36 Mb  	 runtime.linux-x64.microsoft.dotnet.ilcompiler.9.0.21.nupkg
             │ download  portage://dev-dotnet/dotnet-sdk-bin-10.0.113
             │           └─ file ─┤ 228.78 Mb  	 dotnet-sdk-10.0.113-linux-x64.tar.gz
             │ download  portage://dev-dotnet/dotnet-sdk-bin-8.0.108-r1
             │           └─ file ─┤ 203.85 Mb  	 dotnet-sdk-8.0.108-linux-x64.tar.gz
             │ download  portage://dev-java/java-config-2.3.4
             │           └─ file ─┤ 33.04 Kb  	 java-config-2.3.4.tar.gz
             │ download  portage://dev-java/openjdk-bin-27_p35
             │           └─ file ─┤ 136.08 Mb  	 OpenJDK27u-jdk_x64_linux_hotspot_27_35.tar.gz
             │ download  portage://dev-lang/dafny-4.11.0
             │           └─ file ─┤ 30.72 Kb  	 boogie.abstractinterpretation.3.5.5.nupkg
             │                    │ 30.57 Kb  	 boogie.basetypes.3.5.5.nupkg
             │                    │ 18.54 Kb  	 boogie.codecontractsextender.3.5.5.nupkg
             │                    │ 93.97 Kb  	 boogie.concurrency.3.5.5.nupkg
             │                    │ 213.39 Kb  	 boogie.core.3.5.5.nupkg
             │                    │ 90.87 Kb  	 boogie.executionengine.3.5.5.nupkg
             │                    │ 29.29 Kb  	 boogie.graph.3.5.5.nupkg
             │                    │ 53.57 Kb  	 boogie.houdini.3.5.5.nupkg
             │                    │ 28.33 Kb  	 boogie.model.3.5.5.nupkg
             │                    │ 29.97 Kb  	 boogie.provers.leanauto.3.5.5.nupkg
             │                    │ 71.68 Kb  	 boogie.provers.smtlib.3.5.5.nupkg
             │                    │ 74.23 Kb  	 boogie.vcexpr.3.5.5.nupkg
             │                    │ 101.53 Kb  	 boogie.vcgeneration.3.5.5.nupkg
             │                    │ 894.54 Kb  	 castle.core.4.4.0.nupkg
             │                    │ 464.41 Kb  	 commandlineparser.2.8.0.nupkg
             │                    │ 484.44 Kb  	 commandlineparser.2.9.1.nupkg
             │                    │ 2.11 Mb  	 coverlet.collector.3.2.0.nupkg
             │                    │ 6.70 Mb  	 dafny-4.11.0.gh.tar.gz
             │                    │ 68.07 Kb  	 diffplex.1.7.0.nupkg
             │                    │ 525.57 Kb  	 humanizer.core.2.14.1.nupkg
             │                    │ 102.27 Kb  	 humanizer.core.2.2.0.nupkg
             │                    │ 119.72 Kb  	 jetbrains.annotations.2021.1.0.nupkg
             │                    │ 74.17 Kb  	 mediatr.8.1.0.nupkg
             │                    │ 91.38 Kb  	 microsoft.bcl.asyncinterfaces.1.1.1.nupkg
             │                    │ 72.34 Kb  	 microsoft.bcl.asyncinterfaces.5.0.0.nupkg
             │                    │ 74.56 Kb  	 microsoft.bcl.asyncinterfaces.6.0.0.nupkg
             │                    │ 97.40 Kb  	 microsoft.bcl.asyncinterfaces.8.0.0.nupkg
             │                    │ 226.19 Kb  	 microsoft.bcl.cryptography.9.0.0.nupkg
             │                    │ 2.72 Mb  	 microsoft.build.17.0.0.nupkg
             │                    │ 1.14 Mb  	 microsoft.build.framework.17.14.7.nupkg
             │                    │ 63.55 Kb  	 microsoft.build.locator.1.4.1.nupkg
             │                    │ 2.28 Mb  	 microsoft.build.tasks.core.17.14.7.nupkg
             │                    │ 904.16 Kb  	 microsoft.build.utilities.core.17.14.7.nupkg
             │                    │ 27.90 Kb  	 microsoft.codeanalysis.4.0.1.nupkg
             │                    │ 30.81 Kb  	 microsoft.codeanalysis.4.12.0.nupkg
             │                    │ 867.10 Kb  	 microsoft.codeanalysis.analyzers.3.0.0.nupkg
             │                    │ 978.15 Kb  	 microsoft.codeanalysis.analyzers.3.3.2.nupkg
             │                    │ 1.39 Mb  	 microsoft.codeanalysis.analyzers.3.3.4.nupkg
             │                    │ 3.50 Mb  	 microsoft.codeanalysis.common.3.7.0.nupkg
             │                    │ 4.26 Mb  	 microsoft.codeanalysis.common.4.0.1.nupkg
             │                    │ 6.79 Mb  	 microsoft.codeanalysis.common.4.12.0.nupkg
             │                    │ 8.58 Mb  	 microsoft.codeanalysis.csharp.3.7.0.nupkg
             │                    │ 10.05 Mb  	 microsoft.codeanalysis.csharp.4.0.1.nupkg
             │                    │ 16.20 Mb  	 microsoft.codeanalysis.csharp.4.12.0.nupkg
             │                    │ 1.19 Mb  	 microsoft.codeanalysis.csharp.workspaces.4.0.1.nupkg
             │                    │ 1.91 Mb  	 microsoft.codeanalysis.csharp.workspaces.4.12.0.nupkg
             │                    │ 8.09 Mb  	 microsoft.codeanalysis.visualbasic.4.0.1.nupkg
             │                    │ 12.25 Mb  	 microsoft.codeanalysis.visualbasic.4.12.0.nupkg
             │                    │ 1.21 Mb  	 microsoft.codeanalysis.visualbasic.workspaces.4.0.1.nupkg
             │                    │ 1.84 Mb  	 microsoft.codeanalysis.visualbasic.workspaces.4.12.0.nupkg
             │                    │ 4.55 Mb  	 microsoft.codeanalysis.workspaces.common.4.0.1.nupkg
             │                    │ 8.00 Mb  	 microsoft.codeanalysis.workspaces.common.4.12.0.nupkg
             │                    │ 431.72 Kb  	 microsoft.codeanalysis.workspaces.msbuild.4.0.1.nupkg
             │                    │ 6.25 Mb  	 microsoft.codecoverage.16.11.0.nupkg
             │                    │ 4.92 Mb  	 microsoft.codecoverage.16.9.4.nupkg
             │                    │ 6.98 Mb  	 microsoft.codecoverage.17.1.0.nupkg
             │                    │ 451.51 Kb  	 microsoft.csharp.4.0.1.nupkg
             │                    │ 38.01 Kb  	 microsoft.dotnet.platformabstractions.2.0.4.nupkg
             │                    │ 27.40 Kb  	 microsoft.extensions.configuration.2.0.0.nupkg
             │                    │ 72.74 Kb  	 microsoft.extensions.configuration.5.0.0.nupkg
             │                    │ 24.68 Kb  	 microsoft.extensions.configuration.abstractions.2.0.0.nupkg
             │                    │ 61.78 Kb  	 microsoft.extensions.configuration.abstractions.5.0.0.nupkg
             │                    │ 25.72 Kb  	 microsoft.extensions.configuration.binder.2.0.0.nupkg
             │                    │ 65.82 Kb  	 microsoft.extensions.configuration.binder.5.0.0.nupkg
             │                    │ 60.82 Kb  	 microsoft.extensions.configuration.commandline.5.0.0.nupkg
             │                    │ 64.78 Kb  	 microsoft.extensions.configuration.fileextensions.5.0.0.nupkg
             │                    │ 77.10 Kb  	 microsoft.extensions.configuration.json.5.0.0.nupkg
             │                    │ 34.43 Kb  	 microsoft.extensions.dependencyinjection.2.0.0.nupkg
             │                    │ 181.40 Kb  	 microsoft.extensions.dependencyinjection.5.0.0.nupkg
             │                    │ 32.24 Kb  	 microsoft.extensions.dependencyinjection.abstractions.2.0.0.nupkg
             │                    │ 83.36 Kb  	 microsoft.extensions.dependencyinjection.abstractions.5.0.0.nupkg
             │                    │ 93.81 Kb  	 microsoft.extensions.dependencymodel.2.0.4.nupkg
             │                    │ 57.37 Kb  	 microsoft.extensions.fileproviders.abstractions.5.0.0.nupkg
             │                    │ 79.72 Kb  	 microsoft.extensions.fileproviders.physical.5.0.0.nupkg
             │                    │ 79.76 Kb  	 microsoft.extensions.filesystemglobbing.5.0.0.nupkg
             │                    │ 28.15 Kb  	 microsoft.extensions.logging.2.0.0.nupkg
             │                    │ 105.36 Kb  	 microsoft.extensions.logging.5.0.0.nupkg
             │                    │ 35.46 Kb  	 microsoft.extensions.logging.abstractions.2.0.0.nupkg
             │                    │ 92.46 Kb  	 microsoft.extensions.logging.abstractions.5.0.0.nupkg
             │                    │ 59.51 Kb  	 microsoft.extensions.logging.configuration.5.0.0.nupkg
             │                    │ 114.06 Kb  	 microsoft.extensions.logging.console.5.0.0.nupkg
             │                    │ 27.74 Kb  	 microsoft.extensions.options.2.0.0.nupkg
             │                    │ 123.51 Kb  	 microsoft.extensions.options.5.0.0.nupkg
             │                    │ 22.15 Kb  	 microsoft.extensions.options.configurationextensions.2.0.0.nupkg
             │                    │ 57.75 Kb  	 microsoft.extensions.options.configurationextensions.5.0.0.nupkg
             │                    │ 31.71 Kb  	 microsoft.extensions.primitives.2.0.0.nupkg
             │                    │ 113.96 Kb  	 microsoft.extensions.primitives.5.0.0.nupkg
             │                    │ 88.38 Kb  	 microsoft.net.stringtools.1.0.0.nupkg
             │                    │ 173.29 Kb  	 microsoft.net.stringtools.17.14.7.nupkg
             │                    │ 39.35 Kb  	 microsoft.net.test.sdk.16.11.0.nupkg
             │                    │ 39.36 Kb  	 microsoft.net.test.sdk.16.9.4.nupkg
             │                    │ 39.44 Kb  	 microsoft.net.test.sdk.17.1.0.nupkg
             │                    │ 17.46 Kb  	 microsoft.netcore.platforms.1.0.1.nupkg
             │                    │ 17.54 Kb  	 microsoft.netcore.platforms.1.1.0.nupkg
             │                    │ 30.34 Kb  	 microsoft.netcore.platforms.2.1.2.nupkg
             │                    │ 28.81 Kb  	 microsoft.netcore.platforms.3.0.0.nupkg
             │                    │ 28.85 Kb  	 microsoft.netcore.platforms.3.1.0.nupkg
             │                    │ 38.89 Kb  	 microsoft.netcore.platforms.5.0.0.nupkg
             │                    │ 17.76 Kb  	 microsoft.netcore.targets.1.0.1.nupkg
             │                    │ 17.74 Kb  	 microsoft.netcore.targets.1.1.0.nupkg
             │                    │ 20.47 Kb  	 microsoft.netframework.referenceassemblies.1.0.3.nupkg
             │                    │ 18.93 Mb  	 microsoft.netframework.referenceassemblies.net452.1.0.3.nupkg
             │                    │ 431.51 Kb  	 microsoft.testplatform.extensions.trxlogger.17.9.0.nupkg
             │                    │ 2.83 Mb  	 microsoft.testplatform.objectmodel.16.11.0.nupkg
             │                    │ 2.12 Mb  	 microsoft.testplatform.objectmodel.16.9.4.nupkg
             │                    │ 3.04 Mb  	 microsoft.testplatform.objectmodel.17.1.0.nupkg
             │                    │ 1.58 Mb  	 microsoft.testplatform.objectmodel.17.9.0.nupkg
             │                    │ 6.99 Mb  	 microsoft.testplatform.testhost.16.11.0.nupkg
             │                    │ 6.59 Mb  	 microsoft.testplatform.testhost.16.9.4.nupkg
             │                    │ 7.34 Mb  	 microsoft.testplatform.testhost.17.1.0.nupkg
             │                    │ 2.73 Mb  	 microsoft.testplatform.testhost.17.9.0.nupkg
             │                    │ 966.42 Kb  	 microsoft.visualstudio.threading.16.7.56.nupkg
             │                    │ 490.39 Kb  	 microsoft.visualstudio.threading.analyzers.16.7.56.nupkg
             │                    │ 256.09 Kb  	 microsoft.visualstudio.validation.15.5.31.nupkg
             │                    │ 61.85 Kb  	 microsoft.win32.primitives.4.3.0.nupkg
             │                    │ 185.59 Kb  	 microsoft.win32.registry.4.3.0.nupkg
             │                    │ 368.64 Kb  	 microsoft.win32.registry.4.6.0.nupkg
             │                    │ 346.42 Kb  	 microsoft.win32.registry.5.0.0.nupkg
             │                    │ 144.98 Kb  	 microsoft.win32.systemevents.4.7.0.nupkg
             │                    │ 154.07 Kb  	 microsoft.win32.systemevents.6.0.0.nupkg
             │                    │ 552.26 Kb  	 moq.4.16.1.nupkg
             │                    │ 140.16 Kb  	 namotion.reflection.3.2.0.nupkg
             │                    │ 427.89 Kb  	 nerdbank.streams.2.6.81.nupkg
             │                    │ 16.95 Kb  	 netstandard.library.1.6.1.nupkg
             │                    │ 3.00 Mb  	 netstandard.library.2.0.3.nupkg
             │                    │ 2.30 Mb  	 newtonsoft.json.11.0.2.nupkg
             │                    │ 2.33 Mb  	 newtonsoft.json.13.0.3.nupkg
             │                    │ 1.54 Mb  	 newtonsoft.json.9.0.1.nupkg
             │                    │ 342.26 Kb  	 njsonschema.11.1.0.nupkg
             │                    │ 32.49 Kb  	 njsonschema.annotations.11.1.0.nupkg
             │                    │ 210.90 Kb  	 nuget.frameworks.5.0.0.nupkg
             │                    │ 211.92 Kb  	 nuget.frameworks.5.11.0.nupkg
             │                    │ 1.16 Mb  	 omnisharp.extensions.jsonrpc.0.19.5.nupkg
             │                    │ 208.13 Kb  	 omnisharp.extensions.jsonrpc.generators.0.19.5.nupkg
             │                    │ 73.27 Kb  	 omnisharp.extensions.jsonrpc.testing.0.19.5.nupkg
             │                    │ 110.08 Kb  	 omnisharp.extensions.languageclient.0.19.5.nupkg
             │                    │ 1.03 Mb  	 omnisharp.extensions.languageprotocol.0.19.5.nupkg
             │                    │ 89.34 Kb  	 omnisharp.extensions.languageprotocol.testing.0.19.5.nupkg
             │                    │ 155.82 Kb  	 omnisharp.extensions.languageserver.0.19.5.nupkg
             │                    │ 85.37 Kb  	 omnisharp.extensions.languageserver.shared.0.19.5.nupkg
             │                    │ 32.38 Kb  	 rangetree.3.0.1.nupkg
             │                    │ 105.46 Kb  	 runtime.any.system.collections.4.3.0.nupkg
             │                    │ 42.68 Kb  	 runtime.any.system.diagnostics.tools.4.3.0.nupkg
             │                    │ 48.68 Kb  	 runtime.any.system.diagnostics.tracing.4.3.0.nupkg
             │                    │ 42.69 Kb  	 runtime.any.system.globalization.4.3.0.nupkg
             │                    │ 42.44 Kb  	 runtime.any.system.globalization.calendars.4.3.0.nupkg
             │                    │ 53.27 Kb  	 runtime.any.system.io.4.3.0.nupkg
             │                    │ 42.48 Kb  	 runtime.any.system.reflection.4.3.0.nupkg
             │                    │ 43.09 Kb  	 runtime.any.system.reflection.extensions.4.3.0.nupkg
             │                    │ 42.10 Kb  	 runtime.any.system.reflection.primitives.4.3.0.nupkg
             │                    │ 41.93 Kb  	 runtime.any.system.resources.resourcemanager.4.3.0.nupkg
             │                    │ 54.01 Kb  	 runtime.any.system.runtime.4.3.0.nupkg
             │                    │ 30.22 Kb  	 runtime.any.system.runtime.handles.4.3.0.nupkg
             │                    │ 69.82 Kb  	 runtime.any.system.runtime.interopservices.4.3.0.nupkg
             │                    │ 42.38 Kb  	 runtime.any.system.text.encoding.4.3.0.nupkg
             │                    │ 42.28 Kb  	 runtime.any.system.text.encoding.extensions.4.3.0.nupkg
             │                    │ 46.82 Kb  	 runtime.any.system.threading.tasks.4.3.0.nupkg
             │                    │ 42.09 Kb  	 runtime.any.system.threading.timer.4.3.0.nupkg
             │                    │ 43.35 Kb  	 runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 41.82 Kb  	 runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 41.83 Kb  	 runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 16.46 Kb  	 runtime.native.system.4.0.0.nupkg
             │                    │ 16.46 Kb  	 runtime.native.system.4.3.0.nupkg
             │                    │ 16.52 Kb  	 runtime.native.system.io.compression.4.3.0.nupkg
             │                    │ 16.50 Kb  	 runtime.native.system.net.http.4.3.0.nupkg
             │                    │ 16.57 Kb  	 runtime.native.system.security.cryptography.apple.4.3.0.nupkg
             │                    │ 16.65 Kb  	 runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 43.16 Kb  	 runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 43.08 Kb  	 runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 19.12 Kb  	 runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple.4.3.0.nupkg
             │                    │ 36.80 Kb  	 runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 41.67 Kb  	 runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 42.11 Kb  	 runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 41.90 Kb  	 runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 41.93 Kb  	 runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 31.18 Kb  	 runtime.unix.microsoft.win32.primitives.4.3.0.nupkg
             │                    │ 60.72 Kb  	 runtime.unix.system.console.4.3.0.nupkg
             │                    │ 37.90 Kb  	 runtime.unix.system.diagnostics.debug.4.3.0.nupkg
             │                    │ 61.00 Kb  	 runtime.unix.system.io.filesystem.4.3.0.nupkg
             │                    │ 122.13 Kb  	 runtime.unix.system.net.primitives.4.3.0.nupkg
             │                    │ 103.20 Kb  	 runtime.unix.system.net.sockets.4.3.0.nupkg
             │                    │ 74.19 Kb  	 runtime.unix.system.private.uri.4.3.0.nupkg
             │                    │ 52.81 Kb  	 runtime.unix.system.runtime.extensions.4.3.0.nupkg
             │                    │ 751.45 Kb  	 serilog.2.12.0.nupkg
             │                    │ 20.97 Kb  	 serilog.extensions.logging.3.0.1.nupkg
             │                    │ 74.09 Kb  	 serilog.settings.configuration.3.1.0.nupkg
             │                    │ 50.81 Kb  	 serilog.sinks.debug.2.0.0.nupkg
             │                    │ 166.45 Kb  	 serilog.sinks.file.5.0.0.nupkg
             │                    │ 33.62 Kb  	 serilog.sinks.inmemory.0.11.0.nupkg
             │                    │ 143.54 Kb  	 system.appcontext.4.1.0.nupkg
             │                    │ 143.58 Kb  	 system.appcontext.4.3.0.nupkg
             │                    │ 34.35 Kb  	 system.buffers.4.3.0.nupkg
             │                    │ 76.53 Kb  	 system.buffers.4.4.0.nupkg
             │                    │ 91.54 Kb  	 system.buffers.4.5.1.nupkg
             │                    │ 395.61 Kb  	 system.codedom.9.0.0.nupkg
             │                    │ 791.02 Kb  	 system.collections.4.0.11.nupkg
             │                    │ 791.02 Kb  	 system.collections.4.3.0.nupkg
             │                    │ 490.89 Kb  	 system.collections.concurrent.4.3.0.nupkg
             │                    │ 785.55 Kb  	 system.collections.immutable.1.5.0.nupkg
             │                    │ 470.03 Kb  	 system.collections.immutable.1.7.0.nupkg
             │                    │ 581.09 Kb  	 system.collections.immutable.1.7.1.nupkg
             │                    │ 608.47 Kb  	 system.collections.immutable.5.0.0.nupkg
             │                    │ 768.79 Kb  	 system.collections.immutable.8.0.0.nupkg
             │                    │ 635.76 Kb  	 system.collections.immutable.9.0.0.nupkg
             │                    │ 233.66 Kb  	 system.collections.nongeneric.4.3.0.nupkg
             │                    │ 179.16 Kb  	 system.collections.specialized.4.3.0.nupkg
             │                    │ 602.18 Kb  	 system.commandline.2.0.0-beta4.22272.1.nupkg
             │                    │ 93.09 Kb  	 system.componentmodel.4.3.0.nupkg
             │                    │ 90.95 Kb  	 system.componentmodel.primitives.4.3.0.nupkg
             │                    │ 286.12 Kb  	 system.componentmodel.typeconverter.4.3.0.nupkg
             │                    │ 16.61 Kb  	 system.composition.1.0.31.nupkg
             │                    │ 46.35 Kb  	 system.composition.8.0.0.nupkg
             │                    │ 43.91 Kb  	 system.composition.attributedmodel.1.0.31.nupkg
             │                    │ 113.61 Kb  	 system.composition.attributedmodel.8.0.0.nupkg
             │                    │ 71.35 Kb  	 system.composition.convention.1.0.31.nupkg
             │                    │ 184.95 Kb  	 system.composition.convention.8.0.0.nupkg
             │                    │ 75.68 Kb  	 system.composition.hosting.1.0.31.nupkg
             │                    │ 198.58 Kb  	 system.composition.hosting.8.0.0.nupkg
             │                    │ 49.39 Kb  	 system.composition.runtime.1.0.31.nupkg
             │                    │ 131.85 Kb  	 system.composition.runtime.8.0.0.nupkg
             │                    │ 77.80 Kb  	 system.composition.typedparts.1.0.31.nupkg
             │                    │ 207.89 Kb  	 system.composition.typedparts.8.0.0.nupkg
             │                    │ 421.02 Kb  	 system.configuration.configurationmanager.4.7.0.nupkg
             │                    │ 437.50 Kb  	 system.configuration.configurationmanager.6.0.0.nupkg
             │                    │ 748.41 Kb  	 system.configuration.configurationmanager.9.0.0.nupkg
             │                    │ 100.00 Kb  	 system.console.4.3.0.nupkg
             │                    │ 146.27 Kb  	 system.diagnostics.debug.4.0.11.nupkg
             │                    │ 146.26 Kb  	 system.diagnostics.debug.4.3.0.nupkg
             │                    │ 117.31 Kb  	 system.diagnostics.diagnosticsource.4.3.0.nupkg
             │                    │ 444.31 Kb  	 system.diagnostics.diagnosticsource.9.0.0.nupkg
             │                    │ 391.26 Kb  	 system.diagnostics.eventlog.9.0.0.nupkg
             │                    │ 65.65 Kb  	 system.diagnostics.tools.4.0.1.nupkg
             │                    │ 65.65 Kb  	 system.diagnostics.tools.4.3.0.nupkg
             │                    │ 222.37 Kb  	 system.diagnostics.tracesource.4.3.0.nupkg
             │                    │ 568.23 Kb  	 system.diagnostics.tracing.4.3.0.nupkg
             │                    │ 1.18 Mb  	 system.drawing.common.4.7.0.nupkg
             │                    │ 1.06 Mb  	 system.drawing.common.6.0.0.nupkg
             │                    │ 534.97 Kb  	 system.dynamic.runtime.4.0.11.nupkg
             │                    │ 535.26 Kb  	 system.dynamic.runtime.4.3.0.nupkg
             │                    │ 290.25 Kb  	 system.formats.asn1.9.0.0.nupkg
             │                    │ 213.58 Kb  	 system.formats.nrbf.9.0.0.nupkg
             │                    │ 575.33 Kb  	 system.globalization.4.0.11.nupkg
             │                    │ 575.33 Kb  	 system.globalization.4.3.0.nupkg
             │                    │ 173.52 Kb  	 system.globalization.calendars.4.3.0.nupkg
             │                    │ 139.60 Kb  	 system.globalization.extensions.4.3.0.nupkg
             │                    │ 687.15 Kb  	 system.io.4.1.0.nupkg
             │                    │ 687.16 Kb  	 system.io.4.3.0.nupkg
             │                    │ 473.83 Kb  	 system.io.compression.4.3.0.nupkg
             │                    │ 111.08 Kb  	 system.io.compression.zipfile.4.3.0.nupkg
             │                    │ 267.83 Kb  	 system.io.filesystem.4.0.1.nupkg
             │                    │ 267.89 Kb  	 system.io.filesystem.4.3.0.nupkg
             │                    │ 92.70 Kb  	 system.io.filesystem.primitives.4.0.1.nupkg
             │                    │ 92.77 Kb  	 system.io.filesystem.primitives.4.3.0.nupkg
             │                    │ 188.43 Kb  	 system.io.pipelines.4.7.3.nupkg
             │                    │ 189.14 Kb  	 system.io.pipelines.5.0.1.nupkg
             │                    │ 261.13 Kb  	 system.io.pipelines.8.0.0.nupkg
             │                    │ 499.88 Kb  	 system.linq.4.1.0.nupkg
             │                    │ 500.54 Kb  	 system.linq.4.3.0.nupkg
             │                    │ 1.91 Mb  	 system.linq.async.6.0.1.nupkg
             │                    │ 1.84 Mb  	 system.linq.expressions.4.1.0.nupkg
             │                    │ 1.84 Mb  	 system.linq.expressions.4.3.0.nupkg
             │                    │ 150.44 Kb  	 system.memory.4.5.3.nupkg
             │                    │ 200.65 Kb  	 system.memory.4.5.4.nupkg
             │                    │ 204.08 Kb  	 system.memory.4.5.5.nupkg
             │                    │ 188.28 Kb  	 system.memory.4.6.0.nupkg
             │                    │ 1.31 Mb  	 system.net.http.4.3.0.nupkg
             │                    │ 173.48 Kb  	 system.net.nameresolution.4.3.0.nupkg
             │                    │ 751.32 Kb  	 system.net.primitives.4.3.0.nupkg
             │                    │ 132.51 Kb  	 system.net.sockets.4.3.0.nupkg
             │                    │ 103.12 Kb  	 system.net.websockets.4.3.0.nupkg
             │                    │ 329.14 Kb  	 system.numerics.vectors.4.4.0.nupkg
             │                    │ 373.82 Kb  	 system.numerics.vectors.4.5.0.nupkg
             │                    │ 314.11 Kb  	 system.objectmodel.4.0.12.nupkg
             │                    │ 314.12 Kb  	 system.objectmodel.4.3.0.nupkg
             │                    │ 16.47 Kb  	 system.private.uri.4.3.0.nupkg
             │                    │ 2.94 Mb  	 system.reactive.4.4.1.nupkg
             │                    │ 684.39 Kb  	 system.reflection.4.1.0.nupkg
             │                    │ 684.40 Kb  	 system.reflection.4.3.0.nupkg
             │                    │ 213.90 Kb  	 system.reflection.emit.4.0.1.nupkg
             │                    │ 214.39 Kb  	 system.reflection.emit.4.3.0.nupkg
             │                    │ 120.24 Kb  	 system.reflection.emit.ilgeneration.4.0.1.nupkg
             │                    │ 121.65 Kb  	 system.reflection.emit.ilgeneration.4.3.0.nupkg
             │                    │ 81.04 Kb  	 system.reflection.emit.lightweight.4.0.1.nupkg
             │                    │ 82.45 Kb  	 system.reflection.emit.lightweight.4.3.0.nupkg
             │                    │ 97.41 Kb  	 system.reflection.extensions.4.0.1.nupkg
             │                    │ 97.40 Kb  	 system.reflection.extensions.4.3.0.nupkg
             │                    │ 832.14 Kb  	 system.reflection.metadata.1.6.0.nupkg
             │                    │ 982.50 Kb  	 system.reflection.metadata.5.0.0.nupkg
             │                    │ 1.25 Mb  	 system.reflection.metadata.8.0.0.nupkg
             │                    │ 1.06 Mb  	 system.reflection.metadata.9.0.0.nupkg
             │                    │ 275.08 Kb  	 system.reflection.primitives.4.0.1.nupkg
             │                    │ 275.08 Kb  	 system.reflection.primitives.4.3.0.nupkg
             │                    │ 183.43 Kb  	 system.reflection.typeextensions.4.1.0.nupkg
             │                    │ 183.44 Kb  	 system.reflection.typeextensions.4.3.0.nupkg
             │                    │ 231.63 Kb  	 system.resources.extensions.9.0.0.nupkg
             │                    │ 83.90 Kb  	 system.resources.resourcemanager.4.0.1.nupkg
             │                    │ 83.89 Kb  	 system.resources.resourcemanager.4.3.0.nupkg
             │                    │ 6.93 Mb  	 system.runtime.4.1.0.nupkg
             │                    │ 6.93 Mb  	 system.runtime.4.3.0.nupkg
             │                    │ 291.17 Kb  	 system.runtime.caching.6.0.0.nupkg
             │                    │ 69.87 Kb  	 system.runtime.compilerservices.unsafe.4.4.0.nupkg
             │                    │ 102.27 Kb  	 system.runtime.compilerservices.unsafe.4.5.2.nupkg
             │                    │ 80.81 Kb  	 system.runtime.compilerservices.unsafe.4.7.0.nupkg
             │                    │ 104.31 Kb  	 system.runtime.compilerservices.unsafe.4.7.1.nupkg
             │                    │ 127.27 Kb  	 system.runtime.compilerservices.unsafe.5.0.0.nupkg
             │                    │ 82.37 Kb  	 system.runtime.compilerservices.unsafe.6.0.0.nupkg
             │                    │ 60.56 Kb  	 system.runtime.compilerservices.unsafe.6.1.0.nupkg
             │                    │ 1.01 Mb  	 system.runtime.extensions.4.1.0.nupkg
             │                    │ 1.01 Mb  	 system.runtime.extensions.4.3.0.nupkg
             │                    │ 53.57 Kb  	 system.runtime.handles.4.0.1.nupkg
             │                    │ 53.57 Kb  	 system.runtime.handles.4.3.0.nupkg
             │                    │ 2.42 Mb  	 system.runtime.interopservices.4.1.0.nupkg
             │                    │ 2.48 Mb  	 system.runtime.interopservices.4.3.0.nupkg
             │                    │ 162.08 Kb  	 system.runtime.interopservices.runtimeinformation.4.0.0.nupkg
             │                    │ 175.34 Kb  	 system.runtime.interopservices.runtimeinformation.4.3.0.nupkg
             │                    │ 277.11 Kb  	 system.runtime.numerics.4.3.0.nupkg
             │                    │ 217.14 Kb  	 system.runtime.serialization.primitives.4.1.1.nupkg
             │                    │ 589.46 Kb  	 system.security.accesscontrol.4.6.0.nupkg
             │                    │ 590.24 Kb  	 system.security.accesscontrol.4.7.0.nupkg
             │                    │ 607.00 Kb  	 system.security.accesscontrol.5.0.0.nupkg
             │                    │ 315.11 Kb  	 system.security.accesscontrol.6.0.0.nupkg
             │                    │ 144.47 Kb  	 system.security.claims.4.3.0.nupkg
             │                    │ 392.78 Kb  	 system.security.cryptography.algorithms.4.3.0.nupkg
             │                    │ 283.81 Kb  	 system.security.cryptography.cng.4.3.0.nupkg
             │                    │ 114.80 Kb  	 system.security.cryptography.csp.4.3.0.nupkg
             │                    │ 141.00 Kb  	 system.security.cryptography.encoding.4.3.0.nupkg
             │                    │ 70.26 Kb  	 system.security.cryptography.openssl.4.3.0.nupkg
             │                    │ 801.75 Kb  	 system.security.cryptography.pkcs.9.0.0.nupkg
             │                    │ 79.47 Kb  	 system.security.cryptography.primitives.4.3.0.nupkg
             │                    │ 170.74 Kb  	 system.security.cryptography.protecteddata.4.7.0.nupkg
             │                    │ 123.80 Kb  	 system.security.cryptography.protecteddata.6.0.0.nupkg
             │                    │ 124.14 Kb  	 system.security.cryptography.protecteddata.9.0.0.nupkg
             │                    │ 690.16 Kb  	 system.security.cryptography.x509certificates.4.3.0.nupkg
             │                    │ 361.40 Kb  	 system.security.cryptography.xml.9.0.0.nupkg
             │                    │ 527.90 Kb  	 system.security.permissions.4.7.0.nupkg
             │                    │ 234.40 Kb  	 system.security.permissions.6.0.0.nupkg
             │                    │ 92.37 Kb  	 system.security.principal.4.3.0.nupkg
             │                    │ 215.75 Kb  	 system.security.principal.windows.4.3.0.nupkg
             │                    │ 499.13 Kb  	 system.security.principal.windows.4.6.0.nupkg
             │                    │ 499.11 Kb  	 system.security.principal.windows.4.7.0.nupkg
             │                    │ 522.48 Kb  	 system.security.principal.windows.5.0.0.nupkg
             │                    │ 319.62 Kb  	 system.text.encoding.4.0.11.nupkg
             │                    │ 319.61 Kb  	 system.text.encoding.4.3.0.nupkg
             │                    │ 1.54 Mb  	 system.text.encoding.codepages.4.0.1.nupkg
             │                    │ 4.04 Mb  	 system.text.encoding.codepages.4.5.1.nupkg
             │                    │ 3.05 Mb  	 system.text.encoding.codepages.7.0.0.nupkg
             │                    │ 3.07 Mb  	 system.text.encoding.codepages.9.0.0.nupkg
             │                    │ 238.48 Kb  	 system.text.encoding.extensions.4.0.11.nupkg
             │                    │ 238.47 Kb  	 system.text.encoding.extensions.4.3.0.nupkg
             │                    │ 389.05 Kb  	 system.text.json.4.7.0.nupkg
             │                    │ 468.34 Kb  	 system.text.json.5.0.2.nupkg
             │                    │ 502.81 Kb  	 system.text.regularexpressions.4.1.0.nupkg
             │                    │ 518.09 Kb  	 system.text.regularexpressions.4.3.0.nupkg
             │                    │ 691.44 Kb  	 system.threading.4.0.11.nupkg
             │                    │ 691.49 Kb  	 system.threading.4.3.0.nupkg
             │                    │ 129.28 Kb  	 system.threading.channels.4.7.1.nupkg
             │                    │ 190.70 Kb  	 system.threading.channels.7.0.0.nupkg
             │                    │ 820.33 Kb  	 system.threading.tasks.4.0.11.nupkg
             │                    │ 820.33 Kb  	 system.threading.tasks.4.3.0.nupkg
             │                    │ 375.67 Kb  	 system.threading.tasks.dataflow.4.9.0.nupkg
             │                    │ 512.13 Kb  	 system.threading.tasks.dataflow.9.0.0.nupkg
             │                    │ 48.20 Kb  	 system.threading.tasks.extensions.4.0.0.nupkg
             │                    │ 51.27 Kb  	 system.threading.tasks.extensions.4.3.0.nupkg
             │                    │ 85.24 Kb  	 system.threading.tasks.extensions.4.5.3.nupkg
             │                    │ 87.48 Kb  	 system.threading.tasks.extensions.4.5.4.nupkg
             │                    │ 87.82 Kb  	 system.threading.threadpool.4.3.0.nupkg
             │                    │ 75.25 Kb  	 system.threading.timer.4.3.0.nupkg
             │                    │ 94.27 Kb  	 system.windows.extensions.4.7.0.nupkg
             │                    │ 110.90 Kb  	 system.windows.extensions.6.0.0.nupkg
             │                    │ 1.30 Mb  	 system.xml.readerwriter.4.0.11.nupkg
             │                    │ 1.32 Mb  	 system.xml.readerwriter.4.3.0.nupkg
             │                    │ 577.49 Kb  	 system.xml.xdocument.4.0.11.nupkg
             │                    │ 577.49 Kb  	 system.xml.xdocument.4.3.0.nupkg
             │                    │ 278.53 Kb  	 system.xml.xmldocument.4.3.0.nupkg
             │                    │ 143.62 Kb  	 tomlyn.0.17.0.nupkg
             │                    │ 88.85 Kb  	 validation.2.4.18.nupkg
             │                    │ 20.25 Kb  	 xunit.2.4.1.nupkg
             │                    │ 24.95 Kb  	 xunit.2.4.2.nupkg
             │                    │ 74.07 Kb  	 xunit.abstractions.2.0.2.nupkg
             │                    │ 73.39 Kb  	 xunit.abstractions.2.0.3.nupkg
             │                    │ 104.54 Kb  	 xunit.analyzers.0.10.0.nupkg
             │                    │ 143.48 Kb  	 xunit.analyzers.1.0.0.nupkg
             │                    │ 65.76 Kb  	 xunit.assert.2.4.1.nupkg
             │                    │ 91.54 Kb  	 xunit.assert.2.4.2.nupkg
             │                    │ 32.15 Kb  	 xunit.assertmessages.2.4.0.nupkg
             │                    │ 22.13 Kb  	 xunit.core.2.4.1.nupkg
             │                    │ 26.83 Kb  	 xunit.core.2.4.2.nupkg
             │                    │ 272.42 Kb  	 xunit.extensibility.core.2.4.0.nupkg
             │                    │ 233.36 Kb  	 xunit.extensibility.core.2.4.1.nupkg
             │                    │ 270.92 Kb  	 xunit.extensibility.core.2.4.2.nupkg
             │                    │ 470.36 Kb  	 xunit.extensibility.execution.2.4.0.nupkg
             │                    │ 320.45 Kb  	 xunit.extensibility.execution.2.4.1.nupkg
             │                    │ 345.36 Kb  	 xunit.extensibility.execution.2.4.2.nupkg
             │                    │ 790.61 Kb  	 xunit.runner.visualstudio.2.4.3.nupkg
             │                    │ 340.38 Kb  	 xunit.runner.visualstudio.2.5.1.nupkg
             │                    │ 43.50 Kb  	 xunit.skippablefact.1.4.8.nupkg
             │ download  portage://dev-lang/yasm-1.3.0-r2
             │           └─ file ─┤ 1.42 Mb  	 yasm-1.3.0.tar.gz
             │ download  portage://dev-libs/libev-4.33
             │           └─ file ─┤ 556.18 Kb  	 libev-4.33.tar.gz
             │ download  portage://dev-libs/libverto-0.3.2-r1
             │           └─ file ─┤ 374.20 Kb  	 libverto-0.3.2.tar.gz
             │ download  portage://dev-libs/userspace-rcu-0.15.6
             │           └─ file ─┤ 669.98 Kb  	 userspace-rcu-0.15.6.tar.bz2
             │ download  portage://dev-python/certifi-3024.7.22
             │           └─ file ─┤ 12.15 Kb  	 certifi-system-store-3024.7.22.gh.tar.gz
             │ download  portage://dev-python/charset-normalizer-3.5.2
             │           └─ file ─┤ 168.61 Kb  	 charset_normalizer-3.5.2.tar.gz
             │ download  portage://dev-python/editables-0.6
             │           └─ file ─┤ 18.28 Kb  	 editables-0.6.gh.tar.gz
             │ download  portage://dev-python/flit-core-4.1.0
             │           └─ file ─┤ 53.40 Kb  	 flit_core-4.1.0.tar.gz
             │ download  portage://dev-python/gpep517-23
             │           └─ file ─┤ 30.63 Kb  	 gpep517-23.gh.tar.gz
             │ download  portage://dev-python/hatch-vcs-0.5.0
             │           └─ file ─┤ 11.01 Kb  	 hatch-vcs-0.5.0.gh.tar.gz
             │ download  portage://dev-python/hatchling-1.32.4
             │           └─ file ─┤ 5.12 Mb  	 hatch-hatchling-v1.32.4.gh.tar.gz
             │ download  portage://dev-python/idna-3.20
             │           └─ file ─┤ 211.39 Kb  	 idna-3.20.tar.gz
             │ download  portage://dev-python/installer-1.1.0
             │           └─ file ─┤ 453.58 Kb  	 installer-1.1.0-py3-none-any.whl
             │                    │ 469.98 Kb  	 installer-1.1.0.tar.gz
             │ download  portage://dev-python/jaraco-context-6.1.2
             │           └─ file ─┤ 16.41 Kb  	 jaraco_context-6.1.2.tar.gz
             │ download  portage://dev-python/jaraco-functools-4.6.0
             │           └─ file ─┤ 20.35 Kb  	 jaraco_functools-4.6.0.tar.gz
             │ download  portage://dev-python/jaraco-text-4.3.0
             │           └─ file ─┤ 20.19 Kb  	 jaraco_text-4.3.0.tar.gz
             │ download  portage://dev-python/more-itertools-11.2.1
             │           └─ file ─┤ 150.52 Kb  	 more_itertools-11.2.1.tar.gz
             │ download  portage://dev-python/packaging-26.3
             │           └─ file ─┤ 306.07 Kb  	 packaging-26.3.tar.gz
             │ download  portage://dev-python/pathspec-1.1.1
             │           └─ file ─┤ 132.01 Kb  	 pathspec-1.1.1.tar.gz
             │ download  portage://dev-python/platformdirs-4.13.5
             │           └─ file ─┤ 60.90 Kb  	 platformdirs-4.13.5.tar.gz
             │ download  portage://dev-python/pluggy-1.7.0
             │           └─ file ─┤ 120.41 Kb  	 pluggy-1.7.0.tar.gz
             │ download  portage://dev-python/pysocks-1.7.1-r2
             │           └─ file ─┤ 277.76 Kb  	 PySocks-1.7.1.tar.gz
             │ download  portage://dev-python/requests-2.34.2
             │           └─ file ─┤ 139.51 Kb  	 requests-2.34.2.tar.gz
             │ download  portage://dev-python/setuptools-84.0.0
             │           └─ file ─┤ 1.11 Mb  	 setuptools-84.0.0.tar.gz
             │ download  portage://dev-python/setuptools-scm-10.3.4
             │           └─ file ─┤ 76.57 Kb  	 setuptools_scm-10.3.4.tar.gz
             │ download  portage://dev-python/tomlkit-0.15.2
             │           └─ file ─┤ 186.06 Kb  	 tomlkit-0.15.2.tar.gz
             │ download  portage://dev-python/trove-classifiers-2026.9.21.13
             │           └─ file ─┤ 16.68 Kb  	 trove_classifiers-2026.9.21.13.tar.gz
             │ download  portage://dev-python/urllib3-2.8.0
             │           └─ file ─┤ 448.21 Kb  	 urllib3-2.8.0.tar.gz
             │ download  portage://dev-python/vcs-versioning-2.6.0
             │           └─ file ─┤ 162.89 Kb  	 vcs_versioning-2.6.0.tar.gz
             │ download  portage://dev-python/wheel-0.48.0
             │           └─ file ─┤ 64.91 Kb  	 wheel-0.48.0.tar.gz
             │ download  portage://dev-util/lttng-ust-compat-2.12.10
             │           └─ file ─┤ 782.67 Kb  	 lttng-ust-2.12.10.tar.bz2
             │ download  portage://media-libs/alsa-lib-1.2.16.1
             │           └─ file ─┤ 1.08 Mb  	 alsa-lib-1.2.16.1.tar.bz2
             │ download  portage://media-libs/alsa-topology-conf-1.2.5.1-r1
             │           └─ file ─┤ 11.42 Kb  	 alsa-topology-conf-1.2.5.1.tar.bz2
             │ download  portage://media-libs/alsa-ucm-conf-1.2.16.1
             │           └─ file ─┤ 82.32 Kb  	 alsa-ucm-conf-1.2.16.1.tar.bz2
             │ download  portage://sci-mathematics/z3-5.3.1
             │           └─ file ─┤ 7.50 Mb  	 z3-5.3.1.tar.gz
             │ download  portage://sys-apps/baselayout-java-0.1.0-r3
             │           └─ file ─┤ 70.87 Kb  	 baselayout-java-0.1.0.tar.gz
             │ download  portage://sys-apps/keyutils-1.6.3-r1
             │           └─ file ─┤ 133.81 Kb  	 keyutils-1.6.3.tar.gz
             │ download  portage://sys-apps/portage-3.0.83-r1
             │           └─ file ─┤ 1.30 Mb  	 portage-3.0.83.tar.bz2
             │ download  portage://x11-libs/libXtst-1.2.5
             │           └─ file ─┤ 284.91 Kb  	 libXtst-1.2.5.tar.xz

Total: 57 actions (57 downloads), grouped into 1 step.
       3.61 Gb to be downloaded.


Wall time
0.654 s