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

../
aac-tactics_8.15.0-1.debian.tar.xz                 06-Feb-2022 17:19                3600
aac-tactics_8.15.0-1.dsc                           06-Feb-2022 17:19                2209
aac-tactics_8.15.0.orig.tar.gz                     06-Feb-2022 17:19               68103
aac-tactics_8.18.0-1build3.debian.tar.xz           08-Apr-2024 07:57                3904
aac-tactics_8.18.0-1build3.dsc                     08-Apr-2024 07:57                2182
aac-tactics_8.18.0.orig.tar.gz                     21-Dec-2023 23:52               75607
libaac-tactics-coq_8.15.0-1_all.deb                06-Feb-2022 19:04              289098
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        06-Feb-2022 19:04               40776
libaac-tactics-ocaml_8.15.0-1_amd64.deb            06-Feb-2022 19:04              130790
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        08-Apr-2024 07:57              421676