Index of /ubuntu-archive/ubuntu/pool/universe/a/aac-tactics

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]aac-tactics_0.2.pl2-2build1.debian.tar.gz2011-08-25 06:03 2.5K
[TXT]aac-tactics_0.2.pl2-2build1.dsc2011-08-25 06:03 1.4K
[ ]aac-tactics_0.2.pl2-4build1.debian.tar.gz2012-01-08 09:33 2.7K
[TXT]aac-tactics_0.2.pl2-4build1.dsc2012-01-08 09:33 2.2K
[ ]aac-tactics_0.2.pl2-7.debian.tar.gz2012-06-10 12:04 2.7K
[TXT]aac-tactics_0.2.pl2-7.dsc2012-06-10 12:04 2.2K
[ ]aac-tactics_0.2.pl2.orig.tar.gz2011-05-04 09:11 76K
[ ]aac-tactics_0.3.pl1-1.debian.tar.gz2013-05-09 12:33 3.0K
[TXT]aac-tactics_0.3.pl1-1.dsc2013-05-09 12:33 2.2K
[ ]aac-tactics_0.3.pl1.orig.tar.gz2013-05-09 12:33 72K
[ ]aac-tactics_0.4-3.debian.tar.xz2014-07-30 12:44 2.9K
[TXT]aac-tactics_0.4-3.dsc2014-07-30 12:44 2.2K
[ ]aac-tactics_0.4-4.debian.tar.xz2015-08-10 18:23 2.9K
[TXT]aac-tactics_0.4-4.dsc2015-08-10 18:23 2.2K
[ ]aac-tactics_0.4.orig.tar.gz2013-12-06 11:23 76K
[ ]aac-tactics_8.6.1-1.debian.tar.xz2016-12-30 11:13 3.1K
[TXT]aac-tactics_8.6.1-1.dsc2016-12-30 11:13 2.2K
[ ]aac-tactics_8.6.1-1build4.debian.tar.xz2017-08-30 20:24 3.4K
[TXT]aac-tactics_8.6.1-1build4.dsc2017-08-30 20:24 1.9K
[ ]aac-tactics_8.6.1-2.debian.tar.xz2017-11-01 08:05 3.2K
[TXT]aac-tactics_8.6.1-2.dsc2017-11-01 08:05 2.2K
[ ]aac-tactics_8.6.1.orig.tar.gz2016-12-30 11:13 73K
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz2019-08-21 12:08 3.5K
[TXT]aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc2019-08-21 12:08 2.2K
[ ]aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz2019-02-18 05:08 64K
[ ]aac-tactics_8.15.1-6.debian.tar.xz2022-06-12 12:24 3.7K
[TXT]aac-tactics_8.15.1-6.dsc2022-06-12 12:24 2.2K
[ ]aac-tactics_8.15.1.orig.tar.gz2022-04-29 20:03 67K
[ ]libaac-tactics-coq_0.2.pl2-2build1_all.deb2011-08-25 06:03 298K
[ ]libaac-tactics-coq_0.2.pl2-4build1_all.deb2012-01-08 09:33 309K
[ ]libaac-tactics-coq_0.2.pl2-7_all.deb2012-06-10 12:34 312K
[ ]libaac-tactics-coq_0.3.pl1-1_all.deb2013-05-09 12:33 287K
[ ]libaac-tactics-coq_0.4-3_all.deb2014-07-30 12:45 208K
[ ]libaac-tactics-coq_0.4-4_all.deb2015-08-10 18:24 208K
[ ]libaac-tactics-coq_8.6.1-1_all.deb2016-12-30 11:23 215K
[ ]libaac-tactics-coq_8.6.1-1build4_all.deb2017-08-30 20:24 216K
[ ]libaac-tactics-coq_8.6.1-2_all.deb2017-11-01 08:05 216K
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb2019-08-21 12:18 214K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb2011-08-25 06:03 133K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_armel.deb2011-08-25 06:04 140K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb2011-08-25 06:04 127K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_powerpc.deb2011-08-25 06:04 155K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb2012-01-08 09:33 133K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb2012-01-08 10:03 142K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb2012-01-08 09:33 127K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_powerpc.deb2012-01-08 18:03 155K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb2012-06-10 12:34 133K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb2012-06-10 12:34 140K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb2012-06-10 12:35 130K
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_powerpc.deb2012-06-11 18:34 160K
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb2013-05-09 12:33 61K
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb2013-05-09 12:34 62K
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_powerpc.deb2013-05-09 13:04 60K
[ ]libaac-tactics-ocaml-dev_0.4-3_amd64.deb2014-07-30 13:37 44K
[ ]libaac-tactics-ocaml-dev_0.4-3_arm64.deb2014-07-30 13:38 43K
[ ]libaac-tactics-ocaml-dev_0.4-3_armhf.deb2014-07-30 13:39 44K
[ ]libaac-tactics-ocaml-dev_0.4-3_i386.deb2014-07-30 12:45 43K
[ ]libaac-tactics-ocaml-dev_0.4-3_powerpc.deb2014-07-30 13:40 43K
[ ]libaac-tactics-ocaml-dev_0.4-3_ppc64el.deb2014-07-30 12:45 43K
[ ]libaac-tactics-ocaml-dev_0.4-4_amd64.deb2015-08-10 18:24 43K
[ ]libaac-tactics-ocaml-dev_0.4-4_arm64.deb2015-08-10 22:38 43K
[ ]libaac-tactics-ocaml-dev_0.4-4_armhf.deb2015-08-10 18:24 43K
[ ]libaac-tactics-ocaml-dev_0.4-4_i386.deb2015-08-10 18:24 43K
[ ]libaac-tactics-ocaml-dev_0.4-4_powerpc.deb2015-08-10 18:24 44K
[ ]libaac-tactics-ocaml-dev_0.4-4_ppc64el.deb2015-08-10 18:24 43K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2016-12-30 11:23 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb2016-12-30 11:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb2016-12-30 11:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_i386.deb2016-12-30 11:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb2016-12-30 11:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb2016-12-30 11:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb2017-08-30 20:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_armhf.deb2017-08-30 20:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb2017-08-30 20:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_ppc64el.deb2017-08-30 20:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_s390x.deb2017-08-30 20:24 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb2017-11-01 08:05 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb2017-11-01 08:05 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb2017-11-01 09:20 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_i386.deb2017-11-01 08:05 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb2017-11-01 08:05 37K
[ ]libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb2017-11-01 08:05 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 12:18 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb2019-08-21 12:18 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_armhf.deb2019-08-21 12:18 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 12:18 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb2019-08-21 12:18 37K
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_s390x.deb2019-08-21 12:08 37K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb2022-06-12 12:24 39K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb2022-06-12 12:44 39K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb2022-06-12 12:44 39K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb2022-06-12 12:24 39K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_riscv64.deb2022-06-12 13:04 39K
[ ]libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb2022-06-12 12:24 39K
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb2011-08-25 06:03 140K
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_armel.deb2011-08-25 06:04 32K
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb2011-08-25 06:04 122K
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_powerpc.deb2011-08-25 06:04 142K
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb2012-01-08 09:33 139K
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb2012-01-08 10:03 32K
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb2012-01-08 09:33 122K
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb2012-01-08 18:03 142K
[ ]libaac-tactics-ocaml_0.2.pl2-7_amd64.deb2012-06-10 12:34 139K
[ ]libaac-tactics-ocaml_0.2.pl2-7_armel.deb2012-06-10 12:34 32K
[ ]libaac-tactics-ocaml_0.2.pl2-7_i386.deb2012-06-10 12:35 122K
[ ]libaac-tactics-ocaml_0.2.pl2-7_powerpc.deb2012-06-11 18:34 142K
[ ]libaac-tactics-ocaml_0.3.pl1-1_amd64.deb2013-05-09 12:33 139K
[ ]libaac-tactics-ocaml_0.3.pl1-1_i386.deb2013-05-09 12:34 121K
[ ]libaac-tactics-ocaml_0.3.pl1-1_powerpc.deb2013-05-09 13:04 142K
[ ]libaac-tactics-ocaml_0.4-3_amd64.deb2014-07-30 13:37 125K
[ ]libaac-tactics-ocaml_0.4-3_arm64.deb2014-07-30 13:38 27K
[ ]libaac-tactics-ocaml_0.4-3_armhf.deb2014-07-30 13:39 122K
[ ]libaac-tactics-ocaml_0.4-3_i386.deb2014-07-30 12:45 114K
[ ]libaac-tactics-ocaml_0.4-3_powerpc.deb2014-07-30 13:40 111K
[ ]libaac-tactics-ocaml_0.4-3_ppc64el.deb2014-07-30 12:45 27K
[ ]libaac-tactics-ocaml_0.4-4_amd64.deb2015-08-10 18:24 125K
[ ]libaac-tactics-ocaml_0.4-4_arm64.deb2015-08-10 22:38 27K
[ ]libaac-tactics-ocaml_0.4-4_armhf.deb2015-08-10 18:24 122K
[ ]libaac-tactics-ocaml_0.4-4_i386.deb2015-08-10 18:24 114K
[ ]libaac-tactics-ocaml_0.4-4_powerpc.deb2015-08-10 18:24 111K
[ ]libaac-tactics-ocaml_0.4-4_ppc64el.deb2015-08-10 18:24 27K
[ ]libaac-tactics-ocaml_8.6.1-1_amd64.deb2016-12-30 11:23 107K
[ ]libaac-tactics-ocaml_8.6.1-1_arm64.deb2016-12-30 11:24 105K
[ ]libaac-tactics-ocaml_8.6.1-1_armhf.deb2016-12-30 11:24 105K
[ ]libaac-tactics-ocaml_8.6.1-1_i386.deb2016-12-30 11:24 101K
[ ]libaac-tactics-ocaml_8.6.1-1_ppc64el.deb2016-12-30 11:24 26K
[ ]libaac-tactics-ocaml_8.6.1-1_s390x.deb2016-12-30 11:24 26K
[ ]libaac-tactics-ocaml_8.6.1-1build4_amd64.deb2017-08-30 20:24 118K
[ ]libaac-tactics-ocaml_8.6.1-1build4_armhf.deb2017-08-30 20:24 123K
[ ]libaac-tactics-ocaml_8.6.1-1build4_i386.deb2017-08-30 20:24 107K
[ ]libaac-tactics-ocaml_8.6.1-1build4_ppc64el.deb2017-08-30 20:24 121K
[ ]libaac-tactics-ocaml_8.6.1-1build4_s390x.deb2017-08-30 20:24 119K
[ ]libaac-tactics-ocaml_8.6.1-2_amd64.deb2017-11-01 08:05 117K
[ ]libaac-tactics-ocaml_8.6.1-2_arm64.deb2017-11-01 08:05 133K
[ ]libaac-tactics-ocaml_8.6.1-2_armhf.deb2017-11-01 09:20 114K
[ ]libaac-tactics-ocaml_8.6.1-2_i386.deb2017-11-01 08:05 108K
[ ]libaac-tactics-ocaml_8.6.1-2_ppc64el.deb2017-11-01 08:05 124K
[ ]libaac-tactics-ocaml_8.6.1-2_s390x.deb2017-11-01 08:05 120K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 12:18 118K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb2019-08-21 12:18 132K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_armhf.deb2019-08-21 12:18 114K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 12:18 108K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb2019-08-21 12:18 126K
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_s390x.deb2019-08-21 12:08 120K
[ ]libaac-tactics-ocaml_8.15.1-6_amd64.deb2022-06-12 12:24 123K
[ ]libaac-tactics-ocaml_8.15.1-6_arm64.deb2022-06-12 12:44 140K
[ ]libaac-tactics-ocaml_8.15.1-6_armhf.deb2022-06-12 12:44 124K
[ ]libaac-tactics-ocaml_8.15.1-6_ppc64el.deb2022-06-12 12:24 130K
[ ]libaac-tactics-ocaml_8.15.1-6_riscv64.deb2022-06-12 13:04 124K
[ ]libaac-tactics-ocaml_8.15.1-6_s390x.deb2022-06-12 12:24 129K
[ ]libcoq-aac-tactics_8.15.1-6_amd64.deb2022-06-12 12:24 282K
[ ]libcoq-aac-tactics_8.15.1-6_arm64.deb2022-06-12 12:44 282K
[ ]libcoq-aac-tactics_8.15.1-6_armhf.deb2022-06-12 12:44 282K
[ ]libcoq-aac-tactics_8.15.1-6_ppc64el.deb2022-06-12 12:24 282K
[ ]libcoq-aac-tactics_8.15.1-6_riscv64.deb2022-06-12 13:04 282K
[ ]libcoq-aac-tactics_8.15.1-6_s390x.deb2022-06-12 12:24 282K