| ⬆️Parent directory | — | — |
| 📦aac-tactics_8.17.0-1.debian.tar.xz | 3.47K | Thu Jan 05 2023 |
| 📄aac-tactics_8.17.0-1.dsc | 2.06K | Thu Jan 05 2023 |
| 📦aac-tactics_8.17.0.orig.tar.gz | 74K | Thu Jan 05 2023 |
| 📦aac-tactics_8.20.0-1.debian.tar.xz | 3.72K | Wed Nov 20 2024 |
| 📄aac-tactics_8.20.0-1.dsc | 2.06K | Wed Nov 20 2024 |
| 📦aac-tactics_8.20.0.orig.tar.gz | 75.9K | Wed Nov 20 2024 |
| 📦aac-tactics_9.0.0-4.debian.tar.xz | 3.92K | Tue Jul 28 2026 |
| 📄aac-tactics_9.0.0-4.dsc | 2.06K | Tue Jul 28 2026 |
| 📦aac-tactics_9.0.0.orig.tar.gz | 68.6K | Wed Oct 29 2025 |
| 📦libcoq-aac-tactics_8.17.0-1+b2_amd64.deb | 381K | Mon Feb 13 2023 |
| 📦libcoq-aac-tactics_8.17.0-1+b2_i386.deb | 373K | Mon Feb 13 2023 |
| 📦libcoq-aac-tactics_8.20.0-1+b4_amd64.deb | 386K | Sun Jun 15 2025 |
| 📦libcoq-aac-tactics_9.0.0-4+b2_amd64.deb | 388K | Wed Aug 26 2026 |
| 📦libcoq-aac-tactics_9.0.0-4_i386.deb | 297K | Tue Jul 28 2026 |