Index of /ubuntu-archive/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-4build1.debian.tar.gz          08-Jan-2012 15:33    2724
aac-tactics_0.2.pl2-4build1.dsc                    08-Jan-2012 15:33    2240
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
libaac-tactics-coq_0.2.pl2-2build1_all.deb         25-Aug-2011 11:03    298K
libaac-tactics-coq_0.2.pl2-4build1_all.deb         08-Jan-2012 15:33    309K
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-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03    133K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb  25-Aug-2011 11:04    127K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33    133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  08-Jan-2012 15:33    127K
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       10-Jun-2012 17:34    133K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        10-Jun-2012 17:35    130K
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb       09-May-2013 17:33     61K
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb        09-May-2013 17:34     62K
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb     25-Aug-2011 11:03    140K
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb      25-Aug-2011 11:04    122K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     08-Jan-2012 15:33    139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      08-Jan-2012 15:33    122K
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           10-Jun-2012 17:34    139K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            10-Jun-2012 17:35    122K
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb           09-May-2013 17:33    139K
libaac-tactics-ocaml_0.3.pl1-1_i386.deb            09-May-2013 17:34    121K