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