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