| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coqprime-tools-dbgsym_8.19-2_ppc64.deb | 59448 bytes | 2024-08-04 12:03:05 |
| 📄 coqprime-tools_8.19-2_ppc64.deb | 138364 bytes | 2024-08-04 12:03:05 |
| 📄 coqprime_8.19-2_ppc64.buildinfo | 7281 bytes | 2024-08-04 12:03:05 |
| 📄 libcoq-coqprime_8.19-2_ppc64.deb | 1795540 bytes | 2024-08-04 12:03:05 |