| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-quickchick_2.0.3-3_ppc64.buildinfo | 8170 bytes | 2024-08-05 03:03:03 |
| 📄 libcoq-quickchick-dbgsym_2.0.3-3_ppc64.deb | 67748 bytes | 2024-08-05 03:03:03 |
| 📄 libcoq-quickchick_2.0.3-3_ppc64.deb | 3474996 bytes | 2024-08-05 03:03:03 |
| 📄 quickchick-dbgsym_2.0.3-3_ppc64.deb | 108228 bytes | 2024-08-05 03:03:03 |
| 📄 quickchick_2.0.3-3_ppc64.deb | 428472 bytes | 2024-08-05 03:03:03 |