Index of /ubuntu-frozen/pool/main/a/agda/

../
agda-bin_2.4.2.5-1build1_amd64.deb                 16-Mar-2016 09:50             4803616
agda-mode_2.4.2.5-1build1_all.deb                  16-Mar-2016 10:07               37272
agda_2.4.2.5-1build1_all.deb                       16-Mar-2016 10:52                2966
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          16-Mar-2016 09:44            10670346
libghc-agda-doc_2.4.2.5-1build1_all.deb            16-Mar-2016 10:34             2184422