Index of /repo_desktop_1.5/pool/universe/a/agda/


../
agda-bin_2.3.2.2-1_amd64.deb                       06-Nov-2013 17:28             5476328
agda-bin_2.3.2.2-1_i386.deb                        06-Nov-2013 17:28             5094722
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-dev_2.3.2.2-1_i386.deb                 06-Nov-2013 17:28            12906540
libghc-agda-doc_2.3.2.2-1_all.deb                  06-Nov-2013 17:28             2186306