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