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

../
agda-bin_2.2.6-1+b1_amd64.deb                      26-Jan-2010 18:32      3M
agda-bin_2.2.6-1+b1_i386.deb                       26-Jan-2010 18:32      3M
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb              27-Jan-2010 00:47      3M
agda-bin_2.2.6-1+b1_mips.deb                       15-Mar-2010 00:32      6M
agda-bin_2.2.6-1+b1_powerpc.deb                    29-Jan-2010 20:02      3M
agda-bin_2.2.6-1+b1_s390.deb                       28-Jan-2010 18:32      7M
agda-bin_2.2.6-1+b1_sparc.deb                      04-Feb-2010 20:02      4M
agda-bin_2.2.6-1.diff.gz                           12-Jan-2010 02:47    2449
agda-bin_2.2.6-1.dsc                               12-Jan-2010 02:47    1329
agda-bin_2.2.6-1_armel.deb                         19-Mar-2010 06:33      5M
agda-bin_2.2.6-1_kfreebsd-amd64.deb                27-Feb-2010 14:32      3M
agda-bin_2.2.6-1_mipsel.deb                        16-Mar-2010 10:17      5M
agda-bin_2.2.6.orig.tar.gz                         12-Jan-2010 02:47    1681
agda-bin_2.3.0.1-1.diff.gz                         12-Mar-2012 22:47    3008
agda-bin_2.3.0.1-1.dsc                             12-Mar-2012 22:47    1370
agda-bin_2.3.0.1-1_amd64.deb                       12-Mar-2012 22:47      5M
agda-bin_2.3.0.1-1_armel.deb                       26-Mar-2012 07:47      7M
agda-bin_2.3.0.1-1_armhf.deb                       27-Mar-2012 13:47      7M
agda-bin_2.3.0.1-1_i386.deb                        13-Mar-2012 08:17      4M
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb              13-Mar-2012 10:17      5M
agda-bin_2.3.0.1-1_kfreebsd-i386.deb               13-Mar-2012 15:32      5M
agda-bin_2.3.0.1-1_powerpc.deb                     21-Apr-2012 19:02      5M
agda-bin_2.3.0.1-1_s390x.deb                       13-Mar-2012 10:47     15M
agda-bin_2.3.0.1-1_sparc.deb                       26-Mar-2012 18:32      7M
agda-bin_2.3.0.1.orig.tar.gz                       12-Mar-2012 22:47    1765