How to install agda-bin on Debian Unstable (Sid)