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

../
aac-tactics_8.17.0-1.debian.tar.xz                 29-Apr-2023 17:32    3552
aac-tactics_8.17.0-1.dsc                           29-Apr-2023 17:32    2108
aac-tactics_8.17.0.orig.tar.gz                     29-Apr-2023 17:32     74K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           30-Apr-2023 05:00    381K
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb           30-Apr-2023 05:00    389K