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

../
agda-bin_2.3.2.2-1_amd64.deb                       06-Nov-2013 17:28             5476328
agda-mode_2.3.2.2-1_all.deb                        06-Nov-2013 17:28               48080
agda_2.3.2.2-1_all.deb                             06-Nov-2013 17:28                2996
libghc-agda-dev_2.3.2.2-1_amd64.deb                06-Nov-2013 17:28            13586672
libghc-agda-doc_2.3.2.2-1_all.deb                  06-Nov-2013 17:28             2186306