Index of /stable/debian-7-official-release/pool/main/a/agda-bin/

../
agda-bin_2.3.0.1-1_amd64.deb                       24-Sep-2019 08:05             4911722
agda-bin_2.3.0.1-1_i386.deb                        21-Jan-2020 15:23             4587078