| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 cadical-dbgsym_1.7.4-1+b1_powerpc.deb | 7257896 bytes | 2024-10-29 18:03:08 |
| 📄 cadical_1.7.4-1+b1_powerpc.buildinfo | 6228 bytes | 2024-10-29 18:03:08 |
| 📄 cadical_1.7.4-1+b1_powerpc.deb | 395916 bytes | 2024-10-29 18:03:08 |
| 📄 libcadical-dev_1.7.4-1+b1_powerpc.deb | 360484 bytes | 2024-10-29 18:03:08 |