Index of /ubuntu/pool/universe/a/aac-tactics
Name
Last modified
Size
Parent Directory
-
aac-tactics_0.2.pl2-2build1.dsc
2011-08-25 11:03
1.4K
aac-tactics_8.6.1-1build4.dsc
2017-08-31 01:24
1.9K
aac-tactics_8.17.0-1build2.dsc
2023-02-16 10:06
2.1K
aac-tactics_8.17.0-2build1.dsc
2023-07-24 17:37
2.1K
aac-tactics_8.6.1-1.dsc
2016-12-30 17:13
2.2K
aac-tactics_0.2.pl2-7.dsc
2012-06-10 17:04
2.2K
aac-tactics_0.3.pl1-1.dsc
2013-05-09 17:33
2.2K
aac-tactics_0.4-3.dsc
2014-07-30 17:44
2.2K
aac-tactics_0.4-4.dsc
2015-08-10 23:23
2.2K
aac-tactics_8.6.1-2.dsc
2017-11-01 13:05
2.2K
aac-tactics_0.2.pl2-4build1.dsc
2012-01-08 15:33
2.2K
aac-tactics_8.15.1-6.dsc
2022-06-12 17:24
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
2019-08-21 17:08
2.2K
aac-tactics_0.2.pl2-2build1.debian.tar.gz
2011-08-25 11:03
2.5K
aac-tactics_0.2.pl2-4build1.debian.tar.gz
2012-01-08 15:33
2.7K
aac-tactics_0.2.pl2-7.debian.tar.gz
2012-06-10 17:04
2.7K
aac-tactics_0.4-4.debian.tar.xz
2015-08-10 23:23
2.9K
aac-tactics_0.4-3.debian.tar.xz
2014-07-30 17:44
2.9K
aac-tactics_0.3.pl1-1.debian.tar.gz
2013-05-09 17:33
3.0K
aac-tactics_8.6.1-1.debian.tar.xz
2016-12-30 17:13
3.1K
aac-tactics_8.6.1-2.debian.tar.xz
2017-11-01 13:05
3.2K
aac-tactics_8.6.1-1build4.debian.tar.xz
2017-08-31 01:24
3.4K
aac-tactics_8.17.0-1build2.debian.tar.xz
2023-02-16 10:06
3.5K
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
2019-08-21 17:08
3.5K
aac-tactics_8.17.0-2build1.debian.tar.xz
2023-07-24 17:37
3.6K
aac-tactics_8.15.1-6.debian.tar.xz
2022-06-12 17:24
3.7K
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb
2016-12-30 17:24
26K
libaac-tactics-ocaml_8.6.1-1_s390x.deb
2016-12-30 17:24
26K
libaac-tactics-ocaml_0.4-4_arm64.deb
2015-08-11 03:38
27K
libaac-tactics-ocaml_0.4-3_ppc64el.deb
2014-07-30 17:45
27K
libaac-tactics-ocaml_0.4-4_ppc64el.deb
2015-08-10 23:24
27K
libaac-tactics-ocaml_0.4-3_arm64.deb
2014-07-30 18:38
27K
libaac-tactics-ocaml_0.2.pl2-2build1_armel.deb
2011-08-25 11:04
32K
libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb
2012-01-08 16:03
32K
libaac-tactics-ocaml_0.2.pl2-7_armel.deb
2012-06-10 17:34
32K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb
2019-08-21 17:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb
2019-08-21 17:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb
2019-08-21 17:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_armhf.deb
2019-08-21 17:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb
2019-08-21 17:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_s390x.deb
2019-08-21 17:08
37K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
2017-11-01 13:05
37K
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb
2017-11-01 13:05
37K
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb
2017-11-01 13:05
37K
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb
2017-11-01 14:20
37K
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
2017-11-01 13:05
37K
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb
2017-11-01 13:05
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb
2017-08-31 01:24
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_armhf.deb
2017-08-31 01:24
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_s390x.deb
2017-08-31 01:24
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb
2017-08-31 01:24
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_ppc64el.deb
2017-08-31 01:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb
2016-12-30 17:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb
2016-12-30 17:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb
2016-12-30 17:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb
2016-12-30 17:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb
2016-12-30 17:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
2016-12-30 17:23
37K
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb
2022-06-12 17:44
39K
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb
2022-06-12 17:24
39K
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb
2022-06-12 17:24
39K
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb
2022-06-12 17:44
39K
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb
2022-06-12 17:24
39K
libaac-tactics-ocaml-dev_8.15.1-6_riscv64.deb
2022-06-12 18:04
39K
libaac-tactics-ocaml-dev_0.4-4_arm64.deb
2015-08-11 03:38
43K
libaac-tactics-ocaml-dev_0.4-3_powerpc.deb
2014-07-30 18:40
43K
libaac-tactics-ocaml-dev_0.4-3_arm64.deb
2014-07-30 18:38
43K
libaac-tactics-ocaml-dev_0.4-4_ppc64el.deb
2015-08-10 23:24
43K
libaac-tactics-ocaml-dev_0.4-3_ppc64el.deb
2014-07-30 17:45
43K
libaac-tactics-ocaml-dev_0.4-3_i386.deb
2014-07-30 17:45
43K
libaac-tactics-ocaml-dev_0.4-4_i386.deb
2015-08-10 23:24
43K
libaac-tactics-ocaml-dev_0.4-4_amd64.deb
2015-08-10 23:24
43K
libaac-tactics-ocaml-dev_0.4-4_armhf.deb
2015-08-10 23:24
43K
libaac-tactics-ocaml-dev_0.4-3_armhf.deb
2014-07-30 18:39
44K
libaac-tactics-ocaml-dev_0.4-4_powerpc.deb
2015-08-10 23:24
44K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb
2014-07-30 18:37
44K
libaac-tactics-ocaml-dev_0.3.pl1-1_powerpc.deb
2013-05-09 18:04
60K
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb
2013-05-09 17:33
61K
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb
2013-05-09 17:34
62K
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
2019-02-18 11:08
64K
aac-tactics_8.15.1.orig.tar.gz
2022-04-30 01:03
67K
aac-tactics_0.3.pl1.orig.tar.gz
2013-05-09 17:33
72K
aac-tactics_8.6.1.orig.tar.gz
2016-12-30 17:13
73K
aac-tactics_8.17.0.orig.tar.gz
2023-01-04 23:34
74K
aac-tactics_0.4.orig.tar.gz
2013-12-06 17:23
76K
aac-tactics_0.2.pl2.orig.tar.gz
2011-05-04 14:11
76K
libaac-tactics-ocaml_8.6.1-1_i386.deb
2016-12-30 17:24
101K
libaac-tactics-ocaml_8.6.1-1_arm64.deb
2016-12-30 17:24
105K
libaac-tactics-ocaml_8.6.1-1_armhf.deb
2016-12-30 17:24
105K
libaac-tactics-ocaml_8.6.1-1_amd64.deb
2016-12-30 17:23
107K
libaac-tactics-ocaml_8.6.1-1build4_i386.deb
2017-08-31 01:24
107K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb
2019-08-21 17:18
108K
libaac-tactics-ocaml_8.6.1-2_i386.deb
2017-11-01 13:05
108K
libaac-tactics-ocaml_0.4-3_powerpc.deb
2014-07-30 18:40
111K
libaac-tactics-ocaml_0.4-4_powerpc.deb
2015-08-10 23:24
111K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_armhf.deb
2019-08-21 17:18
114K
libaac-tactics-ocaml_0.4-4_i386.deb
2015-08-10 23:24
114K
libaac-tactics-ocaml_0.4-3_i386.deb
2014-07-30 17:45
114K
libaac-tactics-ocaml_8.6.1-2_armhf.deb
2017-11-01 14:20
114K
libaac-tactics-ocaml_8.6.1-2_amd64.deb
2017-11-01 13:05
117K
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb
2017-08-31 01:24
118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb
2019-08-21 17:18
118K
libaac-tactics-ocaml_8.6.1-1build4_s390x.deb
2017-08-31 01:24
119K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_s390x.deb
2019-08-21 17:08
120K
libaac-tactics-ocaml_8.6.1-2_s390x.deb
2017-11-01 13:05
120K
libaac-tactics-ocaml_0.3.pl1-1_i386.deb
2013-05-09 17:34
121K
libaac-tactics-ocaml_8.6.1-1build4_ppc64el.deb
2017-08-31 01:24
121K
libaac-tactics-ocaml_0.4-3_armhf.deb
2014-07-30 18:39
122K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb
2012-01-08 15:33
122K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb
2012-06-10 17:35
122K
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb
2011-08-25 11:04
122K
libaac-tactics-ocaml_0.4-4_armhf.deb
2015-08-10 23:24
122K
libaac-tactics-ocaml_8.6.1-1build4_armhf.deb
2017-08-31 01:24
123K
libaac-tactics-ocaml_8.15.1-6_amd64.deb
2022-06-12 17:24
123K
libaac-tactics-ocaml_8.15.1-6_armhf.deb
2022-06-12 17:44
124K
libaac-tactics-ocaml_8.15.1-6_riscv64.deb
2022-06-12 18:04
124K
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb
2017-11-01 13:05
124K
libaac-tactics-ocaml_0.4-3_amd64.deb
2014-07-30 18:37
125K
libaac-tactics-ocaml_0.4-4_amd64.deb
2015-08-10 23:24
125K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb
2019-08-21 17:18
126K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb
2012-01-08 15:33
127K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb
2011-08-25 11:04
127K
libaac-tactics-ocaml_8.15.1-6_s390x.deb
2022-06-12 17:24
129K
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb
2022-06-12 17:24
130K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb
2012-06-10 17:35
130K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb
2019-08-21 17:18
132K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb
2012-01-08 15:33
133K
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
2012-06-10 17:34
133K
libaac-tactics-ocaml_8.6.1-2_arm64.deb
2017-11-01 13:05
133K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb
2011-08-25 11:03
133K
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb
2013-05-09 17:33
139K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb
2012-01-08 15:33
139K
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
2012-06-10 17:34
139K
libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb
2012-06-10 17:34
140K
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb
2011-08-25 11:03
140K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_armel.deb
2011-08-25 11:04
140K
libaac-tactics-ocaml_8.15.1-6_arm64.deb
2022-06-12 17:44
140K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb
2012-01-08 16:03
142K
libaac-tactics-ocaml_0.3.pl1-1_powerpc.deb
2013-05-09 18:04
142K
libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb
2012-01-09 00:03
142K
libaac-tactics-ocaml_0.2.pl2-7_powerpc.deb
2012-06-11 23:34
142K
libaac-tactics-ocaml_0.2.pl2-2build1_powerpc.deb
2011-08-25 11:04
142K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_powerpc.deb
2012-01-09 00:03
155K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_powerpc.deb
2011-08-25 11:04
155K
libaac-tactics-ocaml-dev_0.2.pl2-7_powerpc.deb
2012-06-11 23:34
160K
libaac-tactics-coq_0.4-3_all.deb
2014-07-30 17:45
208K
libaac-tactics-coq_0.4-4_all.deb
2015-08-10 23:24
208K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb
2019-08-21 17:18
214K
libaac-tactics-coq_8.6.1-1_all.deb
2016-12-30 17:23
215K
libaac-tactics-coq_8.6.1-1build4_all.deb
2017-08-31 01:24
216K
libaac-tactics-coq_8.6.1-2_all.deb
2017-11-01 13:05
216K
libcoq-aac-tactics_8.15.1-6_armhf.deb
2022-06-12 17:44
282K
libcoq-aac-tactics_8.15.1-6_amd64.deb
2022-06-12 17:24
282K
libcoq-aac-tactics_8.15.1-6_arm64.deb
2022-06-12 17:44
282K
libcoq-aac-tactics_8.15.1-6_s390x.deb
2022-06-12 17:24
282K
libcoq-aac-tactics_8.15.1-6_ppc64el.deb
2022-06-12 17:24
282K
libcoq-aac-tactics_8.15.1-6_riscv64.deb
2022-06-12 18:04
282K
libaac-tactics-coq_0.3.pl1-1_all.deb
2013-05-09 17:33
287K
libaac-tactics-coq_0.2.pl2-2build1_all.deb
2011-08-25 11:03
298K
libaac-tactics-coq_0.2.pl2-4build1_all.deb
2012-01-08 15:33
309K
libaac-tactics-coq_0.2.pl2-7_all.deb
2012-06-10 17:34
312K
libcoq-aac-tactics_8.17.0-2build1_armhf.deb
2023-07-24 20:24
415K
libcoq-aac-tactics_8.17.0-2build1_amd64.deb
2023-07-24 20:24
415K
libcoq-aac-tactics_8.17.0-1build2_amd64.deb
2023-02-16 12:57
415K
libcoq-aac-tactics_8.17.0-2build1_riscv64.deb
2023-07-25 02:18
416K
libcoq-aac-tactics_8.17.0-1build2_armhf.deb
2023-02-16 12:58
416K
libcoq-aac-tactics_8.17.0-1build2_riscv64.deb
2023-02-16 16:34
416K
libcoq-aac-tactics_8.17.0-2build1_ppc64el.deb
2023-07-24 20:24
421K
libcoq-aac-tactics_8.17.0-2build1_s390x.deb
2023-07-24 20:24
421K
libcoq-aac-tactics_8.17.0-1build2_s390x.deb
2023-02-16 12:58
422K
libcoq-aac-tactics_8.17.0-1build2_ppc64el.deb
2023-02-16 12:58
422K
libcoq-aac-tactics_8.17.0-2build1_arm64.deb
2023-07-24 20:24
432K
libcoq-aac-tactics_8.17.0-1build2_arm64.deb
2023-02-16 12:57
433K
Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80