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

../
libaac-tactics-coq_0.2.pl2-4build1_all.deb                                                                               25-Sep-2023 20:17    309K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb                                                                       25-Sep-2023 20:17    133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb                                                                        25-Sep-2023 20:17    127K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb                                                                           25-Sep-2023 20:17    139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb                                                                            25-Sep-2023 20:17    122K