Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/a/aac-tactics/

Filename Modification time Size
aac-tactics_0.4-2.debian.tar.xz 2884 B
aac-tactics_0.4-2.dsc 2191 B
aac-tactics_0.4-5build2.debian.tar.xz 3076 B
aac-tactics_0.4-5build2.dsc 1914 B
aac-tactics_0.4.orig.tar.gz 76 KiB
aac-tactics_8.6.1-2.debian.tar.xz 3248 B
aac-tactics_8.6.1-2.dsc 2238 B
aac-tactics_8.6.1.orig.tar.gz 73 KiB
aac-tactics_8.11.0-1.debian.tar.xz 3520 B
aac-tactics_8.11.0-1.dsc 2178 B
aac-tactics_8.11.0.orig.tar.gz 64 KiB
aac-tactics_8.15.0-1.debian.tar.xz 3600 B
aac-tactics_8.15.0-1.dsc 2209 B
aac-tactics_8.15.0.orig.tar.gz 67 KiB
aac-tactics_8.18.0-1build3.debian.tar.xz 3904 B
aac-tactics_8.18.0-1build3.dsc 2182 B
aac-tactics_8.18.0.orig.tar.gz 74 KiB
aac-tactics_8.20.0-1build3.debian.tar.xz 3944 B
aac-tactics_8.20.0-1build3.dsc 2103 B
aac-tactics_8.20.0-1build4.debian.tar.xz 3968 B
aac-tactics_8.20.0-1build4.dsc 2103 B
aac-tactics_8.20.0.orig.tar.gz 76 KiB
libaac-tactics-coq_0.4-2_all.deb 208 KiB
libaac-tactics-coq_0.4-5build2_all.deb 208 KiB
libaac-tactics-coq_8.6.1-2_all.deb 216 KiB
libaac-tactics-coq_8.11.0-1_all.deb 238 KiB
libaac-tactics-coq_8.15.0-1_all.deb 282 KiB
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-2_i386.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 43 KiB
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 37 KiB
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 38 KiB
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 40 KiB
libaac-tactics-ocaml_0.4-2_amd64.deb 125 KiB
libaac-tactics-ocaml_0.4-2_i386.deb 114 KiB
libaac-tactics-ocaml_0.4-5build2_amd64.deb 117 KiB
libaac-tactics-ocaml_0.4-5build2_i386.deb 109 KiB
libaac-tactics-ocaml_8.6.1-2_amd64.deb 117 KiB
libaac-tactics-ocaml_8.6.1-2_i386.deb 108 KiB
libaac-tactics-ocaml_8.11.0-1_amd64.deb 104 KiB
libaac-tactics-ocaml_8.15.0-1_amd64.deb 128 KiB
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 412 KiB
libcoq-aac-tactics_8.20.0-1build3_amd64.deb 421 KiB
libcoq-aac-tactics_8.20.0-1build4_amd64.deb 420 KiB