How to remove petris from Debian Unstable (Sid)