Index of /testing/debian-6-official-release/pool/main/a/agda-bin/

../
agda-bin_2.2.6-1+b1_amd64.deb                      21-Jan-2020 11:37             2854510
agda-bin_2.2.6-1+b1_i386.deb                       21-Jan-2020 16:51             2679238