| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-equations_1.3-8.19-2_ppc64.buildinfo | 6948 bytes | 2024-08-04 15:03:03 |
| 📄 libcoq-equations-dbgsym_1.3-8.19-2_ppc64.deb | 123952 bytes | 2024-08-04 15:03:03 |
| 📄 libcoq-equations_1.3-8.19-2_ppc64.deb | 1195160 bytes | 2024-08-04 15:03:03 |