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


../
aac-tactics_8.17.0-1.debian.tar.xz                 14-Jun-2023 13:52    3552
aac-tactics_8.17.0-1.dsc                           14-Jun-2023 13:52    2108
aac-tactics_8.17.0.orig.tar.gz                     14-Jun-2023 13:52     74K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           14-Jun-2023 20:09    381K
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb           14-Jun-2023 20:09    389K