>>> Emerging : portage://dev-lang/mono-6.12.0.199-r2:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ verify  portage://dev-lang/mono-6.12.0.199-r2 (assumed installed)
             │ download  portage://app-crypt/mit-krb5-1.22.2-r2
             │           └─ file ─┤ 8.34 Mb  	 krb5-1.22.2.tar.gz
             │ download  portage://dev-dotnet/libgdiplus-6.2
             │           └─ file ─┤ 2.18 Mb  	 libgdiplus-6.2.tar.gz
             │ download  portage://dev-lang/mono-6.12.0.199-r2
             │           └─ file ─┤ 290.06 Mb  	 mono-6.12.0.199.tar.xz
             │ 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://media-libs/giflib-6.1.3
             │           └─ file ─┤ 459.55 Kb  	 giflib-6.1.3.tar.gz
             │ download  portage://media-libs/libexif-0.6.26
             │           └─ file ─┤ 1.27 Mb  	 libexif-0.6.26.tar.xz
             │ download  portage://sys-apps/keyutils-1.6.3-r1
             │           └─ file ─┤ 133.81 Kb  	 keyutils-1.6.3.tar.gz

Total: 9 actions (9 downloads), grouped into 1 step.
       304.76 Mb to be downloaded.



Error The proof for your build plan contains domain assumptions. Please verify:


>>> Domain assumptions

- Other: 
  unreachable(portage://dev-lang/mono-6.12.0.199-r2:install,grouped_package_dependency(no,dev-dotnet,libgdiplus,[package_dependency(install,no,dev-dotnet,libgdiplus,greaterequal,version([6,0,2],,4,0,[],0,6.0.2),[],[])]):install)

- Other: 
  unreachable(portage://dev-lang/mono-6.12.0.199-r2:install,portage://dev-dotnet/libgdiplus-6.2:install)

>>> Cycle breaks (prover)

  portage://dev-lang/mono-6.12.0.199-r2:install