Index of /stable/debian-8-freexian-release/pool/main/a/agda/

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    24-Sep-2019 09:42             3920024
agda-bin_2.4.0.2-2+b1_i386.deb                     21-Jan-2020 17:21             3769532
agda-mode_2.4.0.2-2_all.deb                        24-Sep-2019 09:59               88336
agda_2.4.0.2-2_all.deb                             24-Sep-2019 09:44               56362
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             24-Sep-2019 09:39             9793172
libghc-agda-dev_2.4.0.2-2+b1_i386.deb              21-Jan-2020 17:20             9676072
libghc-agda-doc_2.4.0.2-2_all.deb                  24-Sep-2019 09:51             1959856