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

../
aac-tactics_8.11.0-1.debian.tar.xz                 08-Sep-2021 01:11    3520
aac-tactics_8.11.0-1.dsc                           08-Sep-2021 01:11    2178
aac-tactics_8.11.0.orig.tar.gz                     08-Sep-2021 01:11     64K
aac-tactics_8.15.0-1.debian.tar.xz                 29-Aug-2022 16:08    3600
aac-tactics_8.15.0-1.dsc                           29-Aug-2022 16:08    2209
aac-tactics_8.15.0.orig.tar.gz                     29-Aug-2022 16:08     67K
aac-tactics_8.18.0-1build3.debian.tar.xz           06-May-2024 18:29    3904
aac-tactics_8.18.0-1build3.dsc                     06-May-2024 18:29    2182
aac-tactics_8.18.0.orig.tar.gz                     06-May-2024 18:29     74K
aac-tactics_8.6.1-2.debian.tar.xz                  08-Sep-2021 01:11    3248
aac-tactics_8.6.1-2.dsc                            08-Sep-2021 01:11    2238
aac-tactics_8.6.1.orig.tar.gz                      08-Sep-2021 01:11     73K
libaac-tactics-coq_8.11.0-1_all.deb                18-Nov-2020 00:37    238K
libaac-tactics-coq_8.15.0-1_all.deb                29-Aug-2022 16:08    282K
libaac-tactics-coq_8.6.1-2_all.deb                 01-Nov-2017 06:05    216K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        18-Nov-2020 00:37     38K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        29-Aug-2022 16:08     40K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         01-Nov-2017 06:05     37K
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb          18-Nov-2020 00:37     37K
libaac-tactics-ocaml_8.11.0-1_amd64.deb            18-Nov-2020 00:37    104K
libaac-tactics-ocaml_8.15.0-1_amd64.deb            29-Aug-2022 16:08    128K
libaac-tactics-ocaml_8.6.1-2_amd64.deb             01-Nov-2017 06:05    117K
libaac-tactics-ocaml_8.6.1-2_i386.deb              18-Nov-2020 00:37    108K
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        06-May-2024 18:29    412K