| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 aac-tactics_8.19.1-2_ppc64.buildinfo | 6873 bytes | 2024-08-03 18:03:01 |
| 📄 aac-tactics_9.0.0-2_ppc64.buildinfo | 6708 bytes | 2026-07-10 12:03:01 |
| 📄 libcoq-aac-tactics-dbgsym_8.19.1-2_ppc64.deb | 14008 bytes | 2024-08-03 18:03:01 |
| 📄 libcoq-aac-tactics_8.19.1-2_ppc64.deb | 402600 bytes | 2024-08-03 18:03:01 |
| 📄 libcoq-aac-tactics_9.0.0-2_ppc64.deb | 303380 bytes | 2026-07-10 12:03:01 |