Studenten Net Twente Mirror service

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

Filename Modification time Size
agda-bin_2.2.6-1+b1_amd64.deb 2788 KiB
agda-bin_2.2.6-1+b1_i386.deb 2616 KiB
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb 2613 KiB
agda-bin_2.2.6-1+b1_mips.deb 5760 KiB
agda-bin_2.2.6-1+b1_powerpc.deb 2931 KiB
agda-bin_2.2.6-1+b1_s390.deb 6755 KiB
agda-bin_2.2.6-1+b1_sparc.deb 4333 KiB
agda-bin_2.2.6-1.diff.gz 2449 B
agda-bin_2.2.6-1.dsc 1329 B
agda-bin_2.2.6-1_armel.deb 5518 KiB
agda-bin_2.2.6-1_kfreebsd-amd64.deb 2827 KiB
agda-bin_2.2.6-1_mipsel.deb 5624 KiB
agda-bin_2.2.6.orig.tar.gz 1681 B
agda-bin_2.3.0.1-1.diff.gz 3008 B
agda-bin_2.3.0.1-1.dsc 1370 B
agda-bin_2.3.0.1-1_amd64.deb 4797 KiB
agda-bin_2.3.0.1-1_armel.deb 7079 KiB
agda-bin_2.3.0.1-1_armhf.deb 7032 KiB
agda-bin_2.3.0.1-1_i386.deb 4480 KiB
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 5605 KiB
agda-bin_2.3.0.1-1_kfreebsd-i386.deb 5238 KiB
agda-bin_2.3.0.1-1_powerpc.deb 4709 KiB
agda-bin_2.3.0.1-1_s390x.deb 15 MiB
agda-bin_2.3.0.1-1_sparc.deb 6950 KiB
agda-bin_2.3.0.1.orig.tar.gz 1765 B