| Name | Size | Last Modified |
|---|---|---|
| ../ | ||
| aac-tactics_8.20.0-1.debian.tar.xz | 3.72 KB | 2/4/2026, 5:48:14 PM |
| aac-tactics_8.20.0-1.dsc | 2.05 KB | 2/4/2026, 5:48:14 PM |
| aac-tactics_8.20.0.orig.tar.gz | 75.85 KB | 2/4/2026, 5:48:14 PM |
| libcoq-aac-tactics_8.20.0-1+b4_amd64.deb | 385.30 KB | 2/4/2026, 5:50:37 PM |
| libcoq-aac-tactics_8.20.0-1+b4_arm64.deb | 391.25 KB | 2/4/2026, 5:50:37 PM |