| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2_ppc64.deb | 14764 bytes | 2024-08-04 09:03:08 |
| 📄 libcoq-paramcoq_1.1.3+coq8.19-2_ppc64.deb | 112784 bytes | 2024-08-04 09:03:08 |
| 📄 paramcoq_1.1.3+coq8.19-2_ppc64.buildinfo | 6896 bytes | 2024-08-04 09:03:08 |