portage-ng / portage / dev-lang / dafny / 4.11.0
emerge -vp

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

Calculating dependencies ... done!
Dependency resolution took 3.64 s (backtrack: 10/20).

[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-7.0.20:7.0.20::gentoo  292567 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-6.0.36:6.0.36::gentoo  288420 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-8.0.32:8.0.32::gentoo  524889 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-9.0.21:9.0.21::gentoo  508894 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-10.0.13:10.0.13::gentoo  401834 KiB
[ebuild  N     ] media-libs/alsa-topology-conf-1.2.5.1-r1::gentoo  USE="-verify-sig" 12 KiB
[ebuild  N     ] media-libs/alsa-ucm-conf-1.2.16.1::gentoo  USE="-verify-sig" 83 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-6.0.33:6.0.33::gentoo  288256 KiB
[ebuild  N     ] dev-dotnet/dotnet-runtime-nugets-8.0.8:8.0.8::gentoo  527612 KiB
[ebuild  N     ] sys-apps/keyutils-1.6.3-r1:0/1.9::gentoo  USE="-static -static-libs -test" 134 KiB
[ebuild  N     ] sys-apps/baselayout-java-0.1.0-r3::gentoo  71 KiB
[ebuild  N     ] x11-libs/libXtst-1.2.5::gentoo  USE="-doc" 285 KiB
[ebuild  N     ] app-eselect/eselect-dotnet-1.0.1::gentoo  9 KiB
[ebuild     U  ] dev-python/installer-1.1.0::gentoo [0.7.0::gentoo] USE="-test -verify-provenance%" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 924 KiB
[ebuild  N     ] dev-lang/yasm-1.3.0-r2::gentoo  USE="nls" 1458 KiB
[ebuild  N     ] sci-mathematics/z3-5.3.1:0/5.3::gentoo  USE="gmp python -doc -examples -isabelle -java" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13 (-python3_15)" 7685 KiB
[ebuild  N     ] dev-libs/libev-4.33::gentoo  USE="-static-libs" 557 KiB
[ebuild  N     ] dev-libs/userspace-rcu-0.15.6:0/8::gentoo  USE="-static-libs -test -verify-sig" 670 KiB
[ebuild  N     ] media-libs/alsa-lib-1.2.16.1::gentoo  USE="python -debug -doc -verify-sig" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13 (-python3_15)" 1104 KiB
[ebuild  N     ] app-eselect/eselect-java-0.5.1::gentoo  14 KiB
[ebuild  N     ] dev-util/lttng-ust-compat-2.12.10:0/2.12::gentoo  USE="-numa -verify-sig" 783 KiB
[ebuild  N     ] dev-libs/libverto-0.3.2-r1::gentoo  USE="libev -glib -libevent" 375 KiB
[ebuild     U  ] dev-python/gpep517-23::gentoo [19::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 31 KiB
[ebuild     U  ] dev-python/flit-core-4.1.0::gentoo [3.12.0::gentoo] USE="-test -verify-provenance%" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 54 KiB
[ebuild     U  ] dev-python/packaging-26.3::gentoo [26.0::gentoo] USE="-test -verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 307 KiB
[ebuild     U  ] dev-python/idna-3.20::gentoo [3.11::gentoo] USE="-test% -verify-provenance%" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 212 KiB
[ebuild     U  ] dev-python/more-itertools-11.2.1::gentoo [10.8.0::gentoo] USE="-doc" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 151 KiB
[ebuild     U  ] dev-python/trove-classifiers-2026.9.21.13::gentoo [2026.1.14.14::gentoo] USE="-test -verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 17 KiB
[ebuild     U  ] dev-python/platformdirs-4.13.5::gentoo [4.9.4::gentoo] USE="-test -verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 61 KiB
[ebuild     U  ] dev-python/wheel-0.48.0::gentoo [0.46.3::gentoo] USE="-test -verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 65 KiB
[ebuild     U  ] dev-python/jaraco-context-6.1.2::gentoo [6.1.1::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 17 KiB
[ebuild     U  ] dev-python/editables-0.6::gentoo [0.5::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 19 KiB
[ebuild     U  ] dev-python/pathspec-1.1.1::gentoo [1.0.4::gentoo] USE="-verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 133 KiB
[ebuild  N     ] dev-python/tomlkit-0.15.2::gentoo  USE="-test" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)" 187 KiB
[ebuild     U  ] dev-python/jaraco-functools-4.6.0::gentoo [4.4.0::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 21 KiB
[ebuild     U  ] dev-python/jaraco-text-4.3.0::gentoo [4.2.0::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 21 KiB
[ebuild     U  ] dev-python/setuptools-84.0.0::gentoo [81.0.0::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 1142 KiB
[ebuild  N     ] dev-python/vcs-versioning-2.6.0::gentoo  USE="-test -verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)" 163 KiB
[ebuild     U  ] dev-python/setuptools-scm-10.3.4::gentoo [9.2.2::gentoo] USE="-test -verify-provenance" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 77 KiB
[ebuild   R    ] dev-python/certifi-3024.7.22::gentoo  USE="-test" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t% (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%)" 13 KiB
[ebuild     U  ] dev-python/charset-normalizer-3.5.2::gentoo [3.4.5::gentoo] USE="-debug -native-extensions* -test -verify-provenance" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t% (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%)" 169 KiB
[ebuild   R    ] dev-python/pysocks-1.7.1-r2::gentoo  PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t% (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%)" 278 KiB
[ebuild     U  ] dev-python/pluggy-1.7.0::gentoo [1.6.0::gentoo] USE="-test -verify-provenance%" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 121 KiB
[ebuild     U  ] dev-python/hatchling-1.32.4::gentoo [1.29.0::gentoo] USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 5239 KiB
[ebuild   R    ] dev-python/hatch-vcs-0.5.0::gentoo  USE="-test" PYTHON_TARGETS="python3_14* -pypy3_12% -python3_12 -python3_13* -python3_14t (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%) (-python3_13t%)" 12 KiB
[ebuild     U  ] dev-python/urllib3-2.8.0::gentoo [2.6.3::gentoo] USE="-brotli -http2 -test -verify-provenance -zstd" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t% (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%)" 449 KiB
[ebuild     U  ] dev-python/requests-2.34.2::gentoo [2.32.5-r1::gentoo] USE="(test-rust) -socks5 -test -verify-provenance%" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* -python3_14t% (-python3_15) (-python3_15t) (-pypy3_11%) (-python3_11%)" 140 KiB
[ebuild     U  ] app-portage/gemato-20.15::gentoo [20.12::gentoo] USE="gpg -pretty-log -test -tools" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* (-python3_15) (-pypy3_11%) (-python3_11%)" 95 KiB
[ebuild     UD ] sys-apps/portage-3.0.83-r1::gentoo [9999::gentoo] USE="(ipc) native-extensions rsync-verify xattr -apidoc -build -doc -gentoo-dev (-selinux) -test" PYTHON_TARGETS="python3_14* -python3_12 -python3_13* (-python3_15)" 1327 KiB
[ebuild  N     ] dev-java/java-config-2.3.4:2::gentoo  USE="compat -test" PYTHON_TARGETS="python3_14 -python3_12 -python3_13" 34 KiB
[ebuild  N     ] dev-java/openjdk-bin-27_p35:27::gentoo  USE="alsa -cups -headless-awt (-selinux) -source -static-libs" 139349 KiB
[ebuild  N     ] virtual/jdk-27:27::gentoo  USE="-headless-awt" 0 KiB
[ebuild  N     ] virtual/jre-27:27::gentoo  0 KiB
[ebuild  N     ] app-crypt/mit-krb5-1.22.2-r2::gentoo  USE="keyutils nls pkinit -doc -lmdb -openldap (-selinux) -test -xinetd" CPU_FLAGS_X86="aes" 8543 KiB
[ebuild  N     ] dev-dotnet/dotnet-sdk-bin-10.0.113:10.0/10.0.13::gentoo  234273 KiB
[ebuild  N     ] dev-dotnet/dotnet-sdk-bin-8.0.108-r1:8.0/8.0.8::gentoo  208743 KiB
[ebuild  N     ] virtual/dotnet-sdk-10.0-r1:10.0::gentoo  0 KiB
[ebuild  N     ] virtual/dotnet-sdk-8.0:8.0::gentoo  0 KiB
[ebuild  N     ] dev-dotnet/csharp-gentoodotnetinfo-2.0.0-r1:0/2::gentoo  USE="-debug" 20726 KiB
[ebuild  N     ] dev-dotnet/coco-2014.12.25-r1::gentoo  USE="-debug" 37 KiB
[ebuild  N     ] dev-lang/dafny-4.11.0::gentoo  USE="-debug -test" 312596 KiB

Total: 61 packages (22 upgrades, 1 downgrade, 35 new, 3 reinstalls), Size of downloads: 3781429 KiB

!!! Multiple package instances within a single package slot have been pulled
!!! into the dependency graph, resulting in a slot conflict:

dev-python/packaging:0

  (dev-python/packaging-26.3:0/0::gentoo, ebuild scheduled for merge) USE="-test -verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)" pulled in by
    >=dev-python/packaging-26.0[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/wheel-0.48.0:0/0::gentoo, ebuild scheduled for merge) USE="-test -verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   
    dev-python/packaging[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/setuptools-scm-10.3.4:0/0::gentoo, ebuild scheduled for merge) USE="-test -verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     
    >=dev-python/packaging-24.2[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/hatchling-1.32.4:0/0::gentoo, ebuild scheduled for merge) USE="-test" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 
    >=dev-python/packaging-26.2[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/vcs-versioning-2.6.0:0/0::gentoo, ebuild scheduled for merge) USE="-test -verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
    ^^                     ^^^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  
    >=dev-python/packaging-25.0[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/setuptools-84.0.0:0/0::gentoo, ebuild scheduled for merge) USE="-test" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  
    (and 1 more with the same problems)

  (dev-python/packaging-26.0:0/0::gentoo, installed) USE="-test -verify-provenance" PYTHON_TARGETS="python3_13 -pypy3_11 -python3_11 -python3_12 -python3_13t -python3_14 -python3_14t" pulled in by
    >=dev-python/packaging-23.2[python_targets_python3_13(-)] required by (dev-python/scikit-build-core-0.12.2:0/0::gentoo, installed) USE="-test -verify-provenance" PYTHON_TARGETS="python3_13 -pypy3_11 -python3_11 -python3_12 -python3_14"
                                                                                                                                                                                                                                                                                                                                                                                                     
    >=dev-python/packaging-23.2[python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/pyproject-metadata-0.11.0:0/0::gentoo, installed) USE="-test -verify-provenance" PYTHON_TARGETS="python3_13 -pypy3_11 -python3_11 -python3_12 -python3_13t -python3_14 -python3_14t"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

dev-python/pathspec:0

  (dev-python/pathspec-1.1.1:0/0::gentoo, ebuild scheduled for merge) USE="-verify-provenance" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)" pulled in by
    >=dev-python/pathspec-0.10.1[python_targets_pypy3_12(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?,python_targets_python3_14t(-)?,python_targets_python3_14(-)?,python_targets_python3_15t(-)?,python_targets_python3_15(-)?] required by (dev-python/hatchling-1.32.4:0/0::gentoo, ebuild scheduled for merge) USE="-test" PYTHON_TARGETS="python3_14 -pypy3_12 -python3_12 -python3_13 -python3_14t (-python3_15) (-python3_15t)"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  

  (dev-python/pathspec-1.0.4:0/0::gentoo, installed) USE="-verify-provenance" PYTHON_TARGETS="python3_13 -pypy3_11 -python3_11 -python3_12 -python3_13t -python3_14 -python3_14t" pulled in by
    >=dev-python/pathspec-0.12.0[python_targets_python3_13(-)] required by (dev-python/scikit-build-core-0.12.2:0/0::gentoo, installed) USE="-test -verify-provenance" PYTHON_TARGETS="python3_13 -pypy3_11 -python3_11 -python3_12 -python3_14"
                                                                                                                                                                                                                                                                                                                                                                                                      

NOTE: Use the '--verbose-conflicts' option to display parents omitted above

It may be possible to solve this problem by using package.mask to
prevent one of those packages from being selected. However, it is also
possible that conflicting dependencies exist such that they are
impossible to satisfy simultaneously.  If such a conflict exists in
the dependencies of two different packages, then those packages can
not be installed simultaneously. You may want to try a larger value of
the --backtrack option, such as --backtrack=30, in order to see if
that will solve this conflict automatically.

For more information, see MASKED PACKAGES section in the emerge man
page or refer to the Gentoo Handbook.


Wall time
4.748 s vs. 0.818 s for portage-ng