Index of /ubuntu/pool/universe/a/agda/

../
agda-bin_2.4.2.5-1build1_amd64.deb                 12-Jan-2016 22:59             4803616
agda-mode_2.4.2.5-1build1_all.deb                  12-Jan-2016 22:59               37272
agda_2.4.2.5-1build1.debian.tar.xz                 12-Jan-2016 22:30                7848
agda_2.4.2.5-1build1.dsc                           12-Jan-2016 22:30                3826
agda_2.4.2.5-1build1_all.deb                       12-Jan-2016 22:59                2966
agda_2.4.2.5.orig.tar.gz                           04-Jan-2016 23:25             1031427
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          12-Jan-2016 22:59            10670346
libghc-agda-doc_2.4.2.5-1build1_all.deb            12-Jan-2016 22:59             2184422