| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 aac-tactics_8.9.0-1+b1_powerpc.buildinfo | 12575 bytes | 2020-02-13 06:03:01 |
| 📄 aac-tactics_9.0.0-2_powerpc.buildinfo | 6632 bytes | 2026-07-10 12:03:01 |
| 📄 libaac-tactics-ocaml-dev_8.9.0-1+b1_powerpc.deb | 40916 bytes | 2020-02-13 06:03:01 |
| 📄 libaac-tactics-ocaml_8.9.0-1+b1_powerpc.deb | 27360 bytes | 2020-02-13 06:03:01 |
| 📄 libcoq-aac-tactics_9.0.0-2_powerpc.deb | 303232 bytes | 2026-07-10 12:03:01 |