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


../
agda-bin_2.2.6-1+b1_amd64.deb                      26-Jan-2010 09:32             2854510
agda-bin_2.2.6-1+b1_i386.deb                       26-Jan-2010 09:32             2679238
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb              26-Jan-2010 15:47             2675762
agda-bin_2.2.6-1+b1_mips.deb                       14-Mar-2010 15:32             5898458
agda-bin_2.2.6-1+b1_powerpc.deb                    29-Jan-2010 11:02             3001738
agda-bin_2.2.6-1+b1_s390.deb                       28-Jan-2010 09:32             6916900
agda-bin_2.2.6-1+b1_sparc.deb                      04-Feb-2010 11:02             4437272
agda-bin_2.2.6-1.diff.gz                           11-Jan-2010 17:47                2449
agda-bin_2.2.6-1.dsc                               11-Jan-2010 17:47                1329
agda-bin_2.2.6-1_armel.deb                         18-Mar-2010 21:33             5650472
agda-bin_2.2.6-1_kfreebsd-amd64.deb                27-Feb-2010 05:32             2895316
agda-bin_2.2.6-1_mipsel.deb                        16-Mar-2010 01:17             5759266
agda-bin_2.2.6.orig.tar.gz                         11-Jan-2010 17:47                1681