Agda Download for Linux (deb, xz, all, x86_64)