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

../
libaac-tactics-coq_0.2.pl2-4build1_all.deb         02-Apr-2026 21:44    309K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 02-Apr-2026 21:44    133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  02-Apr-2026 21:44    127K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     02-Apr-2026 21:44    139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      02-Apr-2026 21:44    122K