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

../
agda-bin_2.3.2.2-1_amd64.deb                       06-Nov-2013 17:28             5476328
agda-bin_2.4.2.5-1build1_amd64.deb                 12-Jan-2016 22:59             4803616
agda-mode_2.3.2.2-1_all.deb                        06-Nov-2013 17:28               48080
agda-mode_2.4.2.5-1build1_all.deb                  12-Jan-2016 22:59               37272
agda_2.3.2.2-1_all.deb                             06-Nov-2013 17:28                2996
agda_2.4.2.5-1build1_all.deb                       12-Jan-2016 22:59                2966
libghc-agda-dev_2.3.2.2-1_amd64.deb                06-Nov-2013 17:28            13586672
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          12-Jan-2016 22:59            10670346
libghc-agda-doc_2.3.2.2-1_all.deb                  06-Nov-2013 17:28             2186306
libghc-agda-doc_2.4.2.5-1build1_all.deb            12-Jan-2016 22:59             2184422