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

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