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-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               77409
libaac-tactics-coq_0.2.pl2-2build1_all.deb         25-Aug-2011 11:03              304850
libaac-tactics-coq_0.2.pl2-4build1_all.deb         08-Jan-2012 15:33              315944
libaac-tactics-coq_0.2.pl2-7_all.deb               10-Jun-2012 17:34              319622
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03              136684
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb  25-Aug-2011 11:04              130058
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33              136018
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  08-Jan-2012 15:33              129942
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       10-Jun-2012 17:34              136428
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        10-Jun-2012 17:35              133534
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb     25-Aug-2011 11:03              143078
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb      25-Aug-2011 11:04              124576
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     08-Jan-2012 15:33              142350
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      08-Jan-2012 15:33              124452
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           10-Jun-2012 17:34              142412
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            10-Jun-2012 17:35              124570