>>> Emerging : portage://app-misc/prog-express-3.8.9:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ license portage://app-misc/prog-express-3.8.9

 └─step  2─┤ verify  portage://dev-dotnet/libgdiplus-6.2 (assumed installed)
             │ download  portage://app-crypt/mit-krb5-1.22.2-r2
             │           └─ file ─┤ 8.34 Mb  	 krb5-1.22.2.tar.gz
             │ download  portage://app-misc/prog-express-3.8.9
             │           └─ file ─┤ 36.29 Mb  	 prog-express-3.8.9-1.amd64.deb
             │ download  portage://dev-dotnet/libgdiplus-6.2
             │           └─ file ─┤ 2.18 Mb  	 libgdiplus-6.2.tar.gz
             │ download  portage://dev-lang/mono-6.14.1-r1
             │           └─ file ─┤ 289.62 Mb  	 mono-6.14.1.tar.xz
             │ download  portage://dev-lang/mono-basic-4.8-r1
             │           └─ file ─┤ 3.13 Mb  	 mono-basic-4.8.tar.gz
             │ 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/libusb-1.0.30
             │           └─ file ─┤ 640.73 Kb  	 libusb-1.0.30.tar.bz2
             │ 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

 └─step  3─┤ install   portage://dev-libs/libev-4.33
             │           └─ conf ─┤ USE = "-static-libs"
             │ install   portage://media-libs/giflib-6.1.3
             │           └─ conf ─┤ USE = "-doc -static-libs"
             │                    │ SLOT = "0/7"
             │ install   portage://media-libs/libexif-0.6.26
             │           └─ conf ─┤ USE = "nls -doc -verify-sig"
             │ install   portage://sys-apps/keyutils-1.6.3-r1
             │           └─ conf ─┤ USE = "-static -static-libs -test"
             │                    │ SLOT = "0/1.9"
             │ install   portage://dev-libs/libusb-1.0.30
             │           └─ conf ─┤ USE = "-debug -doc -examples -static-libs -test -udev -verify-sig"
             │                    │ SLOT = "1"
             │ install   portage://dev-lang/yasm-1.3.0-r2
             │           └─ conf ─┤ USE = "nls"

 └─step  4─┤ run       portage://dev-libs/libev-4.33
             │ run       portage://dev-libs/libusb-1.0.30
             │ run       portage://media-libs/giflib-6.1.3
             │ run       portage://media-libs/libexif-0.6.26
             │ run       portage://sys-apps/keyutils-1.6.3-r1

 └─step  5─┤ install   portage://dev-libs/libverto-0.3.2-r1
             │           └─ conf ─┤ USE = "libev -glib -libevent"
             │ install   portage://virtual/libusb-1-r2
             │           └─ conf ─┤ USE = "-udev"
             │                    │ SLOT = "1"

 └─step  6─┤ run       portage://dev-libs/libverto-0.3.2-r1
             │ run       portage://virtual/libusb-1-r2

 └─step  7─┤ install   portage://app-crypt/mit-krb5-1.22.2-r2
             │           └─ conf ─┤ USE = "nls keyutils pkinit -doc -lmdb -openldap -test -xinetd"
             │                    │ CPU_FLAGS_X86 = "aes"

 └─step  8─┤ run       portage://app-crypt/mit-krb5-1.22.2-r2

 └─step  9─┤ install   portage://dev-lang/mono-6.14.1-r1
             │           └─ conf ─┤ USE = "nls -xen* -doc -minimal -pax-kernel"

 └─step 10─┤ install   portage://dev-dotnet/libgdiplus-6.2
             │           └─ conf ─┤ USE = "cairo*"

 └─step 11─┤ run       portage://dev-dotnet/libgdiplus-6.2

 └─step 12─┤ run       portage://dev-lang/mono-6.14.1-r1

 └─step 13─┤ install   portage://dev-lang/mono-basic-4.8-r1

 └─step 14─┤ run       portage://dev-lang/mono-basic-4.8-r1

 └─step 15─┤ install   portage://app-misc/prog-express-3.8.9 (license)

 └─step 16─┤ run     portage://app-misc/prog-express-3.8.9

Total: 38 actions (1 license, 12 downloads, 13 installs, 12 runs), grouped into 16 steps.
       344.37 Mb to be downloaded.



>>> Assumptions taken during proving & planning:

  License acceptance (1 package):
  Add to /etc/portage/package.license:
    ==app-misc/prog-express-3.8.9 prog-express


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


>>> Domain assumptions

- Other: 
  unreachable(portage://dev-lang/mono-6.14.1-r1: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.14.1-r1:install,portage://dev-dotnet/libgdiplus-6.2:install)

>>> Cycle breaks (prover)

  portage://dev-dotnet/libgdiplus-6.2:install