Studenten Net Twente Mirror service

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

Filename Modification time Size
agda-bin_2.4.0.2-2+b1_amd64.deb 3828 KiB
agda-bin_2.4.0.2-2+b1_i386.deb 3681 KiB
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb 4411 KiB
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb 4241 KiB
agda-bin_2.4.0.2-2+b1_powerpc.deb 3479 KiB
agda-bin_2.5.1.1-3+b3_amd64.deb 6025 KiB
agda-bin_2.5.1.1-3+b3_arm64.deb 11 MiB
agda-bin_2.5.1.1-3+b3_i386.deb 6154 KiB
agda-bin_2.5.1.1-3+b3_s390x.deb 21 MiB
agda-bin_2.5.1.1-3_mips64el.deb 9699 KiB
agda-mode_2.2.6-7_all.deb 39 KiB
agda-mode_2.3.0.1-2_all.deb 45 KiB
agda-mode_2.4.0.2-2_all.deb 86 KiB
agda-mode_2.5.1.1-3_all.deb 78 KiB
agda_2.2.6-7.debian.tar.gz 5315 B
agda_2.2.6-7.dsc 2294 B
agda_2.2.6.orig.tar.gz 414 KiB
agda_2.3.0.1-2.debian.tar.gz 6874 B
agda_2.3.0.1-2.dsc 2391 B
agda_2.3.0.1-2_all.deb 13 KiB
agda_2.3.0.1.orig.tar.gz 598 KiB
agda_2.4.0.2-2.debian.tar.xz 7344 B
agda_2.4.0.2-2.dsc 3938 B
agda_2.4.0.2-2_all.deb 55 KiB
agda_2.4.0.2.orig.tar.gz 889 KiB
agda_2.5.1.1-3.debian.tar.xz 9020 B
agda_2.5.1.1-3.dsc 4210 B
agda_2.5.1.1-3_all.deb 78 KiB
agda_2.5.1.1.orig.tar.gz 1148 KiB
elpa-agda2-mode_2.5.1.1-3_all.deb 113 KiB
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb 12 MiB
libghc-agda-dev_2.3.0.1-2_armel.deb 17 MiB
libghc-agda-dev_2.3.0.1-2_armhf.deb 18 MiB
libghc-agda-dev_2.3.0.1-2_i386.deb 12 MiB
libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb 12 MiB
libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb 12 MiB
libghc-agda-dev_2.3.0.1-2_powerpc.deb 16 MiB
libghc-agda-dev_2.3.0.1-2_s390x.deb 23 MiB
libghc-agda-dev_2.3.0.1-2_sparc.deb 24 MiB
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb 9564 KiB
libghc-agda-dev_2.4.0.2-2+b1_i386.deb 9449 KiB
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb 9560 KiB
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb 9414 KiB
libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb 9391 KiB
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 12 MiB
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb 19 MiB
libghc-agda-dev_2.5.1.1-3+b3_i386.deb 14 MiB
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb 25 MiB
libghc-agda-dev_2.5.1.1-3_mips64el.deb 18 MiB
libghc-agda-doc_2.3.0.1-2_all.deb 1710 KiB
libghc-agda-doc_2.4.0.2-2_all.deb 1914 KiB
libghc-agda-doc_2.5.1.1-3_all.deb 2587 KiB
libghc6-agda-dev_2.2.6-7_amd64.deb 9820 KiB
libghc6-agda-dev_2.2.6-7_armel.deb 16 MiB
libghc6-agda-dev_2.2.6-7_i386.deb 9302 KiB
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb 9810 KiB
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb 9309 KiB
libghc6-agda-dev_2.2.6-7_mips.deb 18 MiB
libghc6-agda-dev_2.2.6-7_mipsel.deb 17 MiB
libghc6-agda-dev_2.2.6-7_powerpc.deb 13 MiB
libghc6-agda-dev_2.2.6-7_s390.deb 16 MiB
libghc6-agda-dev_2.2.6-7_sparc.deb 17 MiB
libghc6-agda-doc_2.2.6-7_all.deb 1071 KiB