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

../
aac-tactics_0.2.pl2-4build1.debian.tar.gz          08-Jan-2012 23:33    2724
aac-tactics_0.2.pl2-4build1.dsc                    08-Jan-2012 23:33    2240
aac-tactics_0.2.pl2.orig.tar.gz                    04-May-2011 22:11     76K
aac-tactics_0.4-2.debian.tar.xz                    20-Jan-2014 19:09    2884
aac-tactics_0.4-2.dsc                              20-Jan-2014 19:09    2191
aac-tactics_0.4-3.debian.tar.xz                    31-Jul-2014 01:44    2960
aac-tactics_0.4-3.dsc                              31-Jul-2014 01:44    2231
aac-tactics_0.4-5build2.debian.tar.xz              05-Nov-2015 08:30    3076
aac-tactics_0.4-5build2.dsc                        05-Nov-2015 08:30    1914
aac-tactics_0.4.orig.tar.gz                        07-Dec-2013 01:23     76K
aac-tactics_8.6.1-1.debian.tar.xz                  31-Dec-2016 01:13    3220
aac-tactics_8.6.1-1.dsc                            31-Dec-2016 01:13    2217
aac-tactics_8.6.1-1build4.debian.tar.xz            31-Aug-2017 09:24    3452
aac-tactics_8.6.1-1build4.dsc                      31-Aug-2017 09:24    1974
aac-tactics_8.6.1-2.debian.tar.xz                  01-Nov-2017 21:05    3248
aac-tactics_8.6.1-2.dsc                            01-Nov-2017 21:05    2238
aac-tactics_8.6.1.orig.tar.gz                      31-Dec-2016 01:13     73K
libaac-tactics-coq_0.2.pl2-4build1_all.deb         08-Jan-2012 23:33    309K
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 19:33    208K
libaac-tactics-coq_0.4-3_all.deb                   31-Jul-2014 01:45    208K
libaac-tactics-coq_0.4-5build2_all.deb             05-Nov-2015 08:33    208K
libaac-tactics-coq_8.6.1-1_all.deb                 31-Dec-2016 01:23    215K
libaac-tactics-coq_8.6.1-1build4_all.deb           31-Aug-2017 09:24    216K
libaac-tactics-coq_8.6.1-2_all.deb                 01-Nov-2017 21:05    216K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33    133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  08-Jan-2012 23:33    127K
libaac-tactics-ocaml-dev_0.4-2_amd64.deb           20-Jan-2014 19:33     43K
libaac-tactics-ocaml-dev_0.4-2_i386.deb            20-Jan-2014 19:33     43K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           31-Jul-2014 02:37     44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb            31-Jul-2014 01:45     43K
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     05-Nov-2015 08:33     43K
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb      05-Nov-2015 08:34     43K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         31-Dec-2016 01:23     37K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          31-Dec-2016 01:24     37K
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb   31-Aug-2017 09:24     37K
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb    31-Aug-2017 09:24     37K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         01-Nov-2017 21:05     37K
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb          01-Nov-2017 21:05     37K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     08-Jan-2012 23:33    139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      08-Jan-2012 23:33    122K
libaac-tactics-ocaml_0.4-2_amd64.deb               20-Jan-2014 19:33    125K
libaac-tactics-ocaml_0.4-2_i386.deb                20-Jan-2014 19:33    114K
libaac-tactics-ocaml_0.4-3_amd64.deb               31-Jul-2014 02:37    125K
libaac-tactics-ocaml_0.4-3_i386.deb                31-Jul-2014 01:45    114K
libaac-tactics-ocaml_0.4-5build2_amd64.deb         05-Nov-2015 08:33    117K
libaac-tactics-ocaml_0.4-5build2_i386.deb          05-Nov-2015 08:34    109K
libaac-tactics-ocaml_8.6.1-1_amd64.deb             31-Dec-2016 01:23    107K
libaac-tactics-ocaml_8.6.1-1_i386.deb              31-Dec-2016 01:24    101K
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb       31-Aug-2017 09:24    118K
libaac-tactics-ocaml_8.6.1-1build4_i386.deb        31-Aug-2017 09:24    107K
libaac-tactics-ocaml_8.6.1-2_amd64.deb             01-Nov-2017 21:05    117K
libaac-tactics-ocaml_8.6.1-2_i386.deb              01-Nov-2017 21:05    108K