Folder Path

/ubuntu-old-releases/ubuntu/pool/universe/a/aac-tactics/

0 directories 165 files
List Grid
Name
Size Modified
Up
aac-tactics_0.2.pl2-2build1.debian.tar.gz
2.5 KiB
aac-tactics_0.2.pl2-2build1.dsc
1.4 KiB
aac-tactics_0.2.pl2-4build1.debian.tar.gz
2.7 KiB
aac-tactics_0.2.pl2-4build1.dsc
2.2 KiB
aac-tactics_0.2.pl2-7.debian.tar.gz
2.7 KiB
aac-tactics_0.2.pl2-7.dsc
2.2 KiB
aac-tactics_0.2.pl2.orig.tar.gz
76 KiB
aac-tactics_0.3.pl1-1.debian.tar.gz
3.0 KiB
aac-tactics_0.3.pl1-1.dsc
2.2 KiB
aac-tactics_0.3.pl1.orig.tar.gz
72 KiB
aac-tactics_0.4-3.debian.tar.xz
2.9 KiB
aac-tactics_0.4-3.dsc
2.2 KiB
aac-tactics_0.4-4.debian.tar.xz
2.9 KiB
aac-tactics_0.4-4.dsc
2.2 KiB
aac-tactics_0.4.orig.tar.gz
76 KiB
aac-tactics_8.15.1-6.debian.tar.xz
3.7 KiB
aac-tactics_8.15.1-6.dsc
2.2 KiB
aac-tactics_8.15.1.orig.tar.gz
67 KiB
aac-tactics_8.17.0-2build1.debian.tar.xz
3.6 KiB
aac-tactics_8.17.0-2build1.dsc
2.1 KiB
aac-tactics_8.17.0.orig.tar.gz
74 KiB
aac-tactics_8.6.1-1.debian.tar.xz
3.1 KiB
aac-tactics_8.6.1-1.dsc
2.2 KiB
aac-tactics_8.6.1-1build4.debian.tar.xz
3.4 KiB
aac-tactics_8.6.1-1build4.dsc
1.9 KiB
aac-tactics_8.6.1-2.debian.tar.xz
3.2 KiB
aac-tactics_8.6.1-2.dsc
2.2 KiB
aac-tactics_8.6.1.orig.tar.gz
73 KiB
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
3.5 KiB
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
2.2 KiB
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
64 KiB
libaac-tactics-coq_0.2.pl2-2build1_all.deb
298 KiB
libaac-tactics-coq_0.2.pl2-4build1_all.deb
308 KiB
libaac-tactics-coq_0.2.pl2-7_all.deb
312 KiB
libaac-tactics-coq_0.3.pl1-1_all.deb
287 KiB
libaac-tactics-coq_0.4-3_all.deb
208 KiB
libaac-tactics-coq_0.4-4_all.deb
208 KiB
libaac-tactics-coq_8.6.1-1_all.deb
215 KiB
libaac-tactics-coq_8.6.1-1build4_all.deb
216 KiB
libaac-tactics-coq_8.6.1-2_all.deb
216 KiB
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb
214 KiB
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb
134 KiB
libaac-tactics-ocaml-dev_0.2.pl2-2build1_armel.deb
140 KiB
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb
127 KiB
libaac-tactics-ocaml-dev_0.2.pl2-2build1_powerpc.deb
155 KiB
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb
133 KiB
libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb
142 KiB
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb
127 KiB
libaac-tactics-ocaml-dev_0.2.pl2-4build1_powerpc.deb
155 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
133 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb
140 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb
130 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_powerpc.deb
160 KiB
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb
61 KiB
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb
62 KiB
libaac-tactics-ocaml-dev_0.3.pl1-1_powerpc.deb
60 KiB
libaac-tactics-ocaml-dev_0.4-3_amd64.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-3_arm64.deb
43 KiB
libaac-tactics-ocaml-dev_0.4-3_armhf.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-3_i386.deb
43 KiB
libaac-tactics-ocaml-dev_0.4-3_powerpc.deb
43 KiB
libaac-tactics-ocaml-dev_0.4-3_ppc64el.deb
43 KiB
libaac-tactics-ocaml-dev_0.4-4_amd64.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-4_arm64.deb
43 KiB
libaac-tactics-ocaml-dev_0.4-4_armhf.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-4_i386.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-4_powerpc.deb
44 KiB
libaac-tactics-ocaml-dev_0.4-4_ppc64el.deb
43 KiB
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb
39 KiB
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb
39 KiB
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb
39 KiB
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb
39 KiB
libaac-tactics-ocaml-dev_8.15.1-6_riscv64.deb
39 KiB
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb
39 KiB
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1build4_armhf.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1build4_ppc64el.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-1build4_s390x.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb
37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_armhf.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb
37 KiB
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_s390x.deb
37 KiB
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb
140 KiB
libaac-tactics-ocaml_0.2.pl2-2build1_armel.deb
32 KiB
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb
122 KiB
libaac-tactics-ocaml_0.2.pl2-2build1_powerpc.deb
142 KiB
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb
139 KiB
libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb
32 KiB
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb
122 KiB
libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb
142 KiB
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
139 KiB
libaac-tactics-ocaml_0.2.pl2-7_armel.deb
32 KiB
libaac-tactics-ocaml_0.2.pl2-7_i386.deb
122 KiB
libaac-tactics-ocaml_0.2.pl2-7_powerpc.deb
142 KiB
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb
139 KiB
libaac-tactics-ocaml_0.3.pl1-1_i386.deb
121 KiB
libaac-tactics-ocaml_0.3.pl1-1_powerpc.deb
142 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_armhf.deb
122 KiB
libaac-tactics-ocaml_0.4-3_i386.deb
114 KiB
libaac-tactics-ocaml_0.4-3_powerpc.deb
111 KiB
libaac-tactics-ocaml_0.4-3_ppc64el.deb
27 KiB
libaac-tactics-ocaml_0.4-4_amd64.deb
125 KiB
libaac-tactics-ocaml_0.4-4_arm64.deb
27 KiB
libaac-tactics-ocaml_0.4-4_armhf.deb
122 KiB
libaac-tactics-ocaml_0.4-4_i386.deb
114 KiB
libaac-tactics-ocaml_0.4-4_powerpc.deb
111 KiB
libaac-tactics-ocaml_0.4-4_ppc64el.deb
27 KiB
libaac-tactics-ocaml_8.15.1-6_amd64.deb
123 KiB
libaac-tactics-ocaml_8.15.1-6_arm64.deb
140 KiB
libaac-tactics-ocaml_8.15.1-6_armhf.deb
124 KiB
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb
130 KiB
libaac-tactics-ocaml_8.15.1-6_riscv64.deb
124 KiB
libaac-tactics-ocaml_8.15.1-6_s390x.deb
129 KiB
libaac-tactics-ocaml_8.6.1-1_amd64.deb
107 KiB
libaac-tactics-ocaml_8.6.1-1_arm64.deb
105 KiB
libaac-tactics-ocaml_8.6.1-1_armhf.deb
105 KiB
libaac-tactics-ocaml_8.6.1-1_i386.deb
100 KiB
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb
26 KiB
libaac-tactics-ocaml_8.6.1-1_s390x.deb
26 KiB
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb
118 KiB
libaac-tactics-ocaml_8.6.1-1build4_armhf.deb
123 KiB
libaac-tactics-ocaml_8.6.1-1build4_i386.deb
107 KiB
libaac-tactics-ocaml_8.6.1-1build4_ppc64el.deb
121 KiB
libaac-tactics-ocaml_8.6.1-1build4_s390x.deb
119 KiB
libaac-tactics-ocaml_8.6.1-2_amd64.deb
118 KiB
libaac-tactics-ocaml_8.6.1-2_arm64.deb
133 KiB
libaac-tactics-ocaml_8.6.1-2_armhf.deb
114 KiB
libaac-tactics-ocaml_8.6.1-2_i386.deb
108 KiB
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb
124 KiB
libaac-tactics-ocaml_8.6.1-2_s390x.deb
120 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb
118 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb
132 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_armhf.deb
114 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb
108 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb
126 KiB
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_s390x.deb
120 KiB
libcoq-aac-tactics_8.15.1-6_amd64.deb
282 KiB
libcoq-aac-tactics_8.15.1-6_arm64.deb
282 KiB
libcoq-aac-tactics_8.15.1-6_armhf.deb
282 KiB
libcoq-aac-tactics_8.15.1-6_ppc64el.deb
282 KiB
libcoq-aac-tactics_8.15.1-6_riscv64.deb
282 KiB
libcoq-aac-tactics_8.15.1-6_s390x.deb
282 KiB
libcoq-aac-tactics_8.17.0-2build1_amd64.deb
415 KiB
libcoq-aac-tactics_8.17.0-2build1_arm64.deb
432 KiB
libcoq-aac-tactics_8.17.0-2build1_armhf.deb
415 KiB
libcoq-aac-tactics_8.17.0-2build1_ppc64el.deb
421 KiB
libcoq-aac-tactics_8.17.0-2build1_riscv64.deb
416 KiB
libcoq-aac-tactics_8.17.0-2build1_s390x.deb
421 KiB