>>> 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

Total: 13 actions (1 license, 12 downloads), grouped into 2 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