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

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