Index of /ubuntu/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-6.debian.tar.gz                30-Apr-2012 23:48    2720
aac-tactics_0.2.pl2-6.dsc                          30-Apr-2012 23:48    2218
aac-tactics_0.2.pl2.orig.tar.gz                    04-May-2011 14:11     76K
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-6_all.deb               30-Apr-2012 23:58    311K
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-6_amd64.deb       30-Apr-2012 23:58    133K
libaac-tactics-ocaml-dev_0.2.pl2-6_i386.deb        01-May-2012 00:09    132K
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-6_amd64.deb           30-Apr-2012 23:58    139K
libaac-tactics-ocaml_0.2.pl2-6_i386.deb            01-May-2012 00:09    122K