Studenten Net Twente Mirror service

Index of /debian-archive/debian/pool/main/a/aac-tactics/

Filename Modification time Size
aac-tactics_0.2.pl2-7.debian.tar.gz 2746 B
aac-tactics_0.2.pl2-7.dsc 2218 B
aac-tactics_0.2.pl2.orig.tar.gz 76 KiB
aac-tactics_0.4-3.debian.tar.xz 2960 B
aac-tactics_0.4-3.dsc 2231 B
aac-tactics_0.4.orig.tar.gz 76 KiB
aac-tactics_8.6.1-1.debian.tar.xz 3220 B
aac-tactics_8.6.1-1.dsc 2217 B
aac-tactics_8.6.1.orig.tar.gz 73 KiB
libaac-tactics-coq_0.2.pl2-7_all.deb 313 KiB
libaac-tactics-coq_0.4-3_all.deb 209 KiB
libaac-tactics-coq_8.6.1-1_all.deb 217 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 130 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb 141 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb 20 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb 133 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_ia64.deb 20 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_kfreebsd-amd64.deb 129 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_kfreebsd-i386.deb 128 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_mips.deb 20 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_mipsel.deb 21 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_powerpc.deb 158 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_s390.deb 20 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_s390x.deb 21 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_sparc.deb 153 KiB
libaac-tactics-ocaml-dev_0.4-3+b1_mips.deb 45 KiB
libaac-tactics-ocaml-dev_0.4-3+b1_s390x.deb 45 KiB
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_arm64.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_armel.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_i386.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_kfreebsd-amd64.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-3_kfreebsd-i386.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-3_mipsel.deb 44 KiB
libaac-tactics-ocaml-dev_0.4-3_powerpc.deb 45 KiB
libaac-tactics-ocaml-dev_0.4-3_ppc64el.deb 44 KiB
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_armel.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_mips.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb 38 KiB
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb 38 KiB
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb 142 KiB
libaac-tactics-ocaml_0.2.pl2-7_armel.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_armhf.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_i386.deb 124 KiB
libaac-tactics-ocaml_0.2.pl2-7_ia64.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_kfreebsd-amd64.deb 141 KiB
libaac-tactics-ocaml_0.2.pl2-7_kfreebsd-i386.deb 124 KiB
libaac-tactics-ocaml_0.2.pl2-7_mips.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_mipsel.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_powerpc.deb 145 KiB
libaac-tactics-ocaml_0.2.pl2-7_s390.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_s390x.deb 33 KiB
libaac-tactics-ocaml_0.2.pl2-7_sparc.deb 144 KiB
libaac-tactics-ocaml_0.4-3+b1_mips.deb 28 KiB
libaac-tactics-ocaml_0.4-3+b1_s390x.deb 28 KiB
libaac-tactics-ocaml_0.4-3_amd64.deb 125 KiB
libaac-tactics-ocaml_0.4-3_arm64.deb 27 KiB
libaac-tactics-ocaml_0.4-3_armel.deb 120 KiB
libaac-tactics-ocaml_0.4-3_armhf.deb 122 KiB
libaac-tactics-ocaml_0.4-3_i386.deb 115 KiB
libaac-tactics-ocaml_0.4-3_kfreebsd-amd64.deb 126 KiB
libaac-tactics-ocaml_0.4-3_kfreebsd-i386.deb 115 KiB
libaac-tactics-ocaml_0.4-3_mipsel.deb 27 KiB
libaac-tactics-ocaml_0.4-3_powerpc.deb 111 KiB
libaac-tactics-ocaml_0.4-3_ppc64el.deb 27 KiB
libaac-tactics-ocaml_8.6.1-1_amd64.deb 108 KiB
libaac-tactics-ocaml_8.6.1-1_arm64.deb 105 KiB
libaac-tactics-ocaml_8.6.1-1_armel.deb 112 KiB
libaac-tactics-ocaml_8.6.1-1_armhf.deb 115 KiB
libaac-tactics-ocaml_8.6.1-1_i386.deb 101 KiB
libaac-tactics-ocaml_8.6.1-1_mips.deb 27 KiB
libaac-tactics-ocaml_8.6.1-1_mips64el.deb 27 KiB
libaac-tactics-ocaml_8.6.1-1_mipsel.deb 27 KiB
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb 27 KiB
libaac-tactics-ocaml_8.6.1-1_s390x.deb 27 KiB