How to remove agda-stdlib from Debian Unstable (Sid)