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

../
aac-tactics_0.2.pl2-2build1.debian.tar.gz          25-Aug-2011 11:03    2585
aac-tactics_0.2.pl2-2build1.dsc                    25-Aug-2011 11:03    1459
aac-tactics_0.2.pl2-7.debian.tar.gz                10-Jun-2012 17:04    2746
aac-tactics_0.2.pl2-7.dsc                          10-Jun-2012 17:04    2218
aac-tactics_0.2.pl2.orig.tar.gz                    04-May-2011 14:11     76K
aac-tactics_0.3.pl1-1.debian.tar.gz                09-May-2013 17:33    3034
aac-tactics_0.3.pl1-1.dsc                          09-May-2013 17:33    2225
aac-tactics_0.3.pl1.orig.tar.gz                    09-May-2013 17:33     72K
aac-tactics_0.4-3.debian.tar.xz                    30-Jul-2014 17:44    2960
aac-tactics_0.4-3.dsc                              30-Jul-2014 17:44    2231
aac-tactics_0.4.orig.tar.gz                        06-Dec-2013 17:23     76K
libaac-tactics-coq_0.2.pl2-2build1_all.deb         25-Aug-2011 11:03    298K
libaac-tactics-coq_0.2.pl2-7_all.deb               10-Jun-2012 17:34    312K
libaac-tactics-coq_0.3.pl1-1_all.deb               09-May-2013 17:33    287K
libaac-tactics-coq_0.4-3_all.deb                   30-Jul-2014 17:45    208K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb  25-Aug-2011 11:04    127K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        10-Jun-2012 17:35    130K
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb        09-May-2013 17:34     62K
libaac-tactics-ocaml-dev_0.4-3_arm64.deb           30-Jul-2014 18:38     43K
libaac-tactics-ocaml-dev_0.4-3_i386.deb            30-Jul-2014 17:45     43K
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb      25-Aug-2011 11:04    122K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            10-Jun-2012 17:35    122K
libaac-tactics-ocaml_0.3.pl1-1_i386.deb            09-May-2013 17:34    121K
libaac-tactics-ocaml_0.4-3_arm64.deb               30-Jul-2014 18:38     27K
libaac-tactics-ocaml_0.4-3_i386.deb                30-Jul-2014 17:45    114K