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


../
aac-tactics_8.11.0-1.debian.tar.xz                 18-Mar-2020 23:28    3520
aac-tactics_8.11.0-1.dsc                           18-Mar-2020 23:28    2178
aac-tactics_8.11.0.orig.tar.gz                     18-Mar-2020 23:28     64K
aac-tactics_8.15.0-1.debian.tar.xz                 06-Feb-2022 22:19    3600
aac-tactics_8.15.0-1.dsc                           06-Feb-2022 22:19    2209
aac-tactics_8.15.0.orig.tar.gz                     06-Feb-2022 22:19     67K
aac-tactics_8.18.0-1build3.debian.tar.xz           08-Apr-2024 12:57    3904
aac-tactics_8.18.0-1build3.dsc                     08-Apr-2024 12:57    2182
aac-tactics_8.18.0.orig.tar.gz                     22-Dec-2023 04:52     74K
aac-tactics_8.19.1-2build3.debian.tar.xz           07-Sep-2024 20:43    3920
aac-tactics_8.19.1-2build3.dsc                     07-Sep-2024 20:43    2103
aac-tactics_8.19.1.orig.tar.gz                     11-Jun-2024 22:54     75K
aac-tactics_8.20.0-1build3.debian.tar.xz           19-Feb-2025 02:25    3944
aac-tactics_8.20.0-1build3.dsc                     19-Feb-2025 02:25    2103
aac-tactics_8.20.0-1build4.debian.tar.xz           19-Jun-2025 22:20    3968
aac-tactics_8.20.0-1build4.dsc                     19-Jun-2025 22:20    2103
aac-tactics_8.20.0.orig.tar.gz                     20-Nov-2024 23:47     76K
libaac-tactics-coq_8.11.0-1_all.deb                19-Mar-2020 00:48    238K
libaac-tactics-coq_8.15.0-1_all.deb                07-Feb-2022 00:04    282K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        19-Mar-2020 00:48     38K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        07-Feb-2022 00:04     40K
libaac-tactics-ocaml_8.11.0-1_amd64.deb            19-Mar-2020 00:48    104K
libaac-tactics-ocaml_8.15.0-1_amd64.deb            07-Feb-2022 00:04    128K
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        08-Apr-2024 12:57    412K
libcoq-aac-tactics_8.19.1-2build3_amd64.deb        07-Sep-2024 20:44    430K
libcoq-aac-tactics_8.20.0-1build3_amd64.deb        19-Feb-2025 02:25    421K
libcoq-aac-tactics_8.20.0-1build4_amd64.deb        20-Jun-2025 09:01    420K