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

../
libaac-tactics-coq_8.11.0-1_all.deb                12-Mar-2022 13:52    238K
libaac-tactics-coq_8.15.0-1_all.deb                04-Nov-2023 01:41    282K
libaac-tactics-coq_8.6.1-2_all.deb                 11-Mar-2022 19:10    216K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        12-Mar-2022 13:52     38K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        04-Nov-2023 01:41     40K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         11-Mar-2022 19:10     37K
libaac-tactics-ocaml_8.11.0-1_amd64.deb            12-Mar-2022 13:52    104K
libaac-tactics-ocaml_8.15.0-1_amd64.deb            04-Nov-2023 01:41    128K
libaac-tactics-ocaml_8.6.1-2_amd64.deb             11-Mar-2022 19:10    117K