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