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