Index of /debian-archive/debian/pool/main/a/agda/

../
agda-mode_2.2.6-7_all.deb                          06-May-2010 04:02               40062
agda_2.2.6-7.debian.tar.gz                         06-May-2010 04:02                5315
agda_2.2.6-7.dsc                                   06-May-2010 04:02                2294
agda_2.2.6.orig.tar.gz                             07-Jan-2010 19:47              424382
libghc6-agda-dev_2.2.6-7_amd64.deb                 06-May-2010 04:02            10055274
libghc6-agda-dev_2.2.6-7_armel.deb                 06-May-2010 21:47            16332944
libghc6-agda-dev_2.2.6-7_i386.deb                  06-May-2010 07:17             9525040
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb        06-May-2010 06:32            10045182
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb         06-May-2010 06:32             9531944
libghc6-agda-dev_2.2.6-7_mips.deb                  06-May-2010 19:47            18705228
libghc6-agda-dev_2.2.6-7_mipsel.deb                06-May-2010 21:47            17498174
libghc6-agda-dev_2.2.6-7_powerpc.deb               06-May-2010 07:17            13177636
libghc6-agda-dev_2.2.6-7_s390.deb                  06-May-2010 11:50            16842586
libghc6-agda-dev_2.2.6-7_sparc.deb                 12-May-2010 22:47            17719134
libghc6-agda-doc_2.2.6-7_all.deb                   06-May-2010 04:02             1096992