How to remove dafny from Debian Unstable (Sid)