| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 cadical-dbgsym_1.7.4-1+b1_ppc64.deb | 7326384 bytes | 2024-10-28 21:03:23 |
| 📄 cadical_1.7.4-1+b1_ppc64.buildinfo | 6283 bytes | 2024-10-28 21:03:23 |
| 📄 cadical_1.7.4-1+b1_ppc64.deb | 394796 bytes | 2024-10-28 21:03:23 |
| 📄 libcadical-dev_1.7.4-1+b1_ppc64.deb | 370912 bytes | 2024-10-28 21:03:23 |