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

../
aac-tactics_8.15.0-1.debian.tar.xz                 13-Apr-2022 15:59                3600
aac-tactics_8.15.0-1.dsc                           13-Apr-2022 15:59                2209
aac-tactics_8.15.0.orig.tar.gz                     13-Apr-2022 15:59               68103
aac-tactics_8.18.0-1build3.debian.tar.xz           11-Apr-2024 04:30                3904
aac-tactics_8.18.0-1build3.dsc                     11-Apr-2024 04:30                2182
aac-tactics_8.18.0.orig.tar.gz                     08-Mar-2024 09:44               75607
libaac-tactics-coq_8.15.0-1_all.deb                13-Apr-2022 15:59              289098
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        13-Apr-2022 15:59               40776
libaac-tactics-ocaml_8.15.0-1_amd64.deb            13-Apr-2022 15:59              130790
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        11-Apr-2024 04:30              421676