bash$ rpm -q --provides openSUSE-release | grep libsemanage1 bash$ I can remove the package on my own - I just wanted to see whether we are not missing some Obsoletes somewhere. If this is a corner case and there's nothing to be fixed in the packages I'll just remove it and we can close this.