(In reply to Michael Andres from comment #24) > > Make udev-mini / libudev-mini1 uninstallable on 13.1 and it won't be > considered. But how ? Is there a common recipe to do that ? Also some users may already have the mini package installed. In this case, how will the mini package be replaced by the 'regular' one ? Thanks.