Index of /aptly/pool/main/a/aac-tactics/

../
libaac-tactics-coq_8.6.1-2_all.deb                 24-Apr-2024 17:00              220796
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         24-Apr-2024 17:59               37684
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb          24-Apr-2024 19:44               37688
libaac-tactics-ocaml_8.6.1-2_amd64.deb             24-Apr-2024 19:01              120296
libaac-tactics-ocaml_8.6.1-2_i386.deb              24-Apr-2024 19:21              110796