Index of /debian-archive/debian/pool/main/a/agda/
../
agda-mode_2.2.6-7_all.deb 06-May-2010 04:02 40062
agda_2.2.6-7.debian.tar.gz 06-May-2010 04:02 5315
agda_2.2.6-7.dsc 06-May-2010 04:02 2294
agda_2.2.6.orig.tar.gz 07-Jan-2010 19:47 424382
libghc6-agda-dev_2.2.6-7_amd64.deb 06-May-2010 04:02 10055274
libghc6-agda-dev_2.2.6-7_armel.deb 06-May-2010 21:47 16332944
libghc6-agda-dev_2.2.6-7_i386.deb 06-May-2010 07:17 9525040
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb 06-May-2010 06:32 10045182
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb 06-May-2010 06:32 9531944
libghc6-agda-dev_2.2.6-7_mips.deb 06-May-2010 19:47 18705228
libghc6-agda-dev_2.2.6-7_mipsel.deb 06-May-2010 21:47 17498174
libghc6-agda-dev_2.2.6-7_powerpc.deb 06-May-2010 07:17 13177636
libghc6-agda-dev_2.2.6-7_s390.deb 06-May-2010 11:50 16842586
libghc6-agda-dev_2.2.6-7_sparc.deb 12-May-2010 22:47 17719134
libghc6-agda-doc_2.2.6-7_all.deb 06-May-2010 04:02 1096992