| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-record-update_0.3.4-3_ppc64.buildinfo | 6570 bytes | 2024-08-04 00:03:04 |
| 📄 coq-record-update_0.3.6-2_ppc64.buildinfo | 6724 bytes | 2026-07-10 12:03:01 |
| 📄 coq-record-update_0.3.7-1_ppc64.buildinfo | 6724 bytes | 2026-07-10 18:03:03 |
| 📄 libcoq-record-update_0.3.4-3_ppc64.deb | 14620 bytes | 2024-08-04 00:03:04 |
| 📄 libcoq-record-update_0.3.6-2_ppc64.deb | 19128 bytes | 2026-07-10 12:03:01 |
| 📄 libcoq-record-update_0.3.7-1_ppc64.deb | 19156 bytes | 2026-07-10 18:03:03 |