| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 aac-tactics_9.0.0-4_alpha.buildinfo | 6582 bytes | 2026-07-28 12:03:01 |
| 📄 libaac-tactics-ocaml-dev_0.4-2_alpha.deb | 45578 bytes | 2014-01-21 19:01:21 |
| 📄 libaac-tactics-ocaml_0.4-2_alpha.deb | 27876 bytes | 2014-01-21 19:01:20 |
| 📄 libcoq-aac-tactics_9.0.0-4_alpha.deb | 303436 bytes | 2026-07-28 12:03:01 |