Come instalare agda-stdlib-doc su Debian Unstable (Sid)