Index of /ubuntu/archive/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
aac-tactics_8.20.0-1build3.debian.tar.xz           18-Feb-2025 21:25                3944
aac-tactics_8.20.0-1build3.dsc                     18-Feb-2025 21:25                2103
aac-tactics_8.20.0-1build4.debian.tar.xz           19-Jun-2025 17:20                3968
aac-tactics_8.20.0-1build4.dsc                     19-Jun-2025 17:20                2103
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 18:47               77668
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
libcoq-aac-tactics_8.20.0-1build3_amd64.deb        18-Feb-2025 21:25              430918
libcoq-aac-tactics_8.20.0-1build4_amd64.deb        20-Jun-2025 04:01              429676