Hi Andreas, Thanks for your efforts. Just to make sure (as the package info for 280.13-3 is not available on the debian webpages yet): Did you mark it as conflicting with xorg-video-abi-11, or at least with xserver-xorg-core>=1.11 ? Thanks, Shai.