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.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_kfreebsd-amd64.deb 27-Feb-2010 05:32 2895316
agda-bin_2.2.6.orig.tar.gz 11-Jan-2010 17:47 1681
agda-bin_2.3.0.1-1.diff.gz 12-Mar-2012 13:47 3008
agda-bin_2.3.0.1-1.dsc 12-Mar-2012 13:47 1370
agda-bin_2.3.0.1-1_amd64.deb 12-Mar-2012 13:47 4911722
agda-bin_2.3.0.1-1_armhf.deb 27-Mar-2012 04:47 7200416
agda-bin_2.3.0.1-1_i386.deb 12-Mar-2012 23:17 4587078
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 13-Mar-2012 01:17 5739078
agda-bin_2.3.0.1-1_kfreebsd-i386.deb 13-Mar-2012 06:32 5363364
agda-bin_2.3.0.1-1_s390x.deb 13-Mar-2012 01:47 15379808
agda-bin_2.3.0.1.orig.tar.gz 12-Mar-2012 13:47 1765