Comment # 2 on bug 953012 from Benjamin Zeller

We can not reproduce this locally, might have been some packaging bug as well. 
Closing, if this is still happening please reopen and provide a zypper testcase
with:

zypper remove --debug-solver firefox

and upload the resulting testcase file