Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

Index of /pub/debian/pool/main/a/aac-tactics/

Index of /pub/debian/pool/main/a/aac-tactics/

File NameFile SizeDate
Parent directory/--
aac-tactics_8.17.0-1.debian.tar.xz 355204-Jan-2023 19:04
aac-tactics_8.17.0-1.dsc 210804-Jan-2023 19:04
aac-tactics_8.17.0.orig.tar.gz 7567704-Jan-2023 19:04
aac-tactics_8.20.0-1.debian.tar.xz 380820-Nov-2024 09:52
aac-tactics_8.20.0-1.dsc 210420-Nov-2024 09:52
aac-tactics_8.20.0.orig.tar.gz 7766820-Nov-2024 09:52
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 38990013-Feb-2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb 39786813-Feb-2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 38858813-Feb-2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_i386.deb 38162013-Feb-2023 05:06
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 39304413-Feb-2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb 39132413-Feb-2023 05:06
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb 39455215-Jun-2025 01:48
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb 40063615-Jun-2025 05:33
libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb 39468015-Jun-2025 06:13
libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb 39754415-Jun-2025 05:48
libcoq-aac-tactics_8.20.0-1+b4_s390x.deb 39553216-Jun-2025 19:19