Index of /pardus/pool/main/a/aac-tactics/

../
aac-tactics_8.17.0-1.debian.tar.xz                 10-Feb-2023 17:47    3552
aac-tactics_8.17.0-1.dsc                           10-Feb-2023 17:47    2108
aac-tactics_8.17.0.orig.tar.gz                     10-Feb-2023 17:47     74K
aac-tactics_8.20.0-1.debian.tar.xz                 13-Aug-2025 04:37    3808
aac-tactics_8.20.0-1.dsc                           13-Aug-2025 04:37    2104
aac-tactics_8.20.0.orig.tar.gz                     13-Aug-2025 04:37     76K
aac-tactics_8.6.1-1.debian.tar.xz                  25-Aug-2021 03:31    3220
aac-tactics_8.6.1-1.dsc                            25-Aug-2021 03:31    2217
aac-tactics_8.6.1.orig.tar.gz                      25-Aug-2021 03:31     73K
libaac-tactics-coq_8.6.1-1_all.deb                 25-Aug-2021 03:58    217K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         25-Aug-2021 03:47     38K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          25-Aug-2021 04:38     38K
libaac-tactics-ocaml_8.6.1-1_amd64.deb             25-Aug-2021 04:15    108K
libaac-tactics-ocaml_8.6.1-1_i386.deb              25-Aug-2021 04:14    101K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           28-Apr-2023 19:03    381K
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb           28-Apr-2023 18:15    389K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            28-Apr-2023 19:06    373K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb           13-Aug-2025 01:06    385K
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb           13-Aug-2025 01:21    391K