Created attachment 692471 [details] solver test case produced using: zypper up --debug-solver wireshark-ui-gtk