How to install agda on Debian Unstable (Sid)