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

../
libaac-tactics-coq_0.2.pl2-4build1_all.deb                                                                               08-Jan-2012 15:33    309K
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_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