Index of /kylinsoft/anything2.0/openkylin/pool/main/a/aac-tactics/

../
aac-tactics_8.18.0-ok1.debian.tar.xz               25-Mar-2024 18:06                2228
aac-tactics_8.18.0-ok1.dsc                         25-Mar-2024 18:06                1903
aac-tactics_8.18.0.orig.tar.gz                     25-Mar-2024 18:06               75607
libcoq-aac-tactics_8.18.0-ok1_amd64.deb            26-Apr-2024 03:20              381480
libcoq-aac-tactics_8.18.0-ok1_arm64.deb            27-Apr-2024 20:39              393344
libcoq-aac-tactics_8.18.0-ok1_loong64.deb          02-Aug-2024 13:19              399044
libcoq-aac-tactics_8.18.0-ok1_riscv64.deb          13-Jul-2024 04:58              385968