Index of /xenial-prod/pool/main/a/agda/

../
agda-bin_2.4.2.5-1build1_amd64.deb                 24-Apr-2018 14:13             4803616
agda-bin_2.4.2.5-1build1_i386.deb                  24-Apr-2018 13:50             4784082
agda-mode_2.4.2.5-1build1_all.deb                  24-Apr-2018 14:14               37272
agda_2.4.2.5-1build1_all.deb                       24-Apr-2018 14:07                2966
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          24-Apr-2018 14:18            10670346
libghc-agda-dev_2.4.2.5-1build1_i386.deb           24-Apr-2018 14:19            10538222
libghc-agda-doc_2.4.2.5-1build1_all.deb            24-Apr-2018 13:59             2184422