Index of /raspbian/pool/main/a/agda/

../
agda-mode_2.4.0.2-2_all.deb                        11-Aug-2014 11:28               88336
agda_2.4.0.2-2_all.deb                             11-Aug-2014 11:28               56362
libghc-agda-doc_2.4.0.2-2_all.deb                  11-Aug-2014 11:28             1959856