../ aac-tactics_8.17.0-1.debian.tar.xz 04-Jan-2023 19:04 3552 aac-tactics_8.17.0-1.dsc 04-Jan-2023 19:04 2108 aac-tactics_8.17.0.orig.tar.gz 04-Jan-2023 19:04 75677 aac-tactics_8.20.0-1.debian.tar.xz 20-Nov-2024 09:52 3808 aac-tactics_8.20.0-1.dsc 20-Nov-2024 09:52 2104 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 09:52 77668 aac-tactics_9.0.0-4.debian.tar.xz 28-Jul-2026 09:24 4004 aac-tactics_9.0.0-4.dsc 28-Jul-2026 09:24 2106 aac-tactics_9.0.0.orig.tar.gz 29-Oct-2025 07:13 70184 libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 13-Feb-2023 05:11 389900 libcoq-aac-tactics_8.17.0-1+b2_arm64.deb 13-Feb-2023 05:11 397868 libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 13-Feb-2023 05:11 388588 libcoq-aac-tactics_8.17.0-1+b2_i386.deb 13-Feb-2023 05:06 381620 libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 13-Feb-2023 05:11 393044 libcoq-aac-tactics_8.17.0-1+b2_s390x.deb 13-Feb-2023 05:06 391324 libcoq-aac-tactics_8.20.0-1+b4_amd64.deb 15-Jun-2025 01:48 394552 libcoq-aac-tactics_8.20.0-1+b4_arm64.deb 15-Jun-2025 05:33 400636 libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb 15-Jun-2025 06:13 394680 libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb 15-Jun-2025 05:48 397544 libcoq-aac-tactics_8.20.0-1+b4_s390x.deb 16-Jun-2025 19:19 395532 libcoq-aac-tactics_9.0.0-4+b1_arm64.deb 25-Aug-2026 23:03 403068 libcoq-aac-tactics_9.0.0-4+b1_ppc64el.deb 25-Aug-2026 23:03 397172 libcoq-aac-tactics_9.0.0-4+b1_riscv64.deb 26-Aug-2026 14:11 401448 libcoq-aac-tactics_9.0.0-4+b1_s390x.deb 25-Aug-2026 23:03 399028 libcoq-aac-tactics_9.0.0-4+b2_amd64.deb 25-Aug-2026 23:03 396792 libcoq-aac-tactics_9.0.0-4_armhf.deb 28-Jul-2026 09:44 303424 libcoq-aac-tactics_9.0.0-4_i386.deb 28-Jul-2026 09:49 303284 libcoq-aac-tactics_9.0.0-4_loong64.deb 28-Jul-2026 09:44 303488
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.