| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 cadical-dbgsym_1.7.4-1+b1_alpha.deb | 10293432 bytes | 2025-03-10 12:03:04 |
| 📄 cadical_1.7.4-1+b1_alpha.buildinfo | 6131 bytes | 2025-03-10 12:03:04 |
| 📄 cadical_1.7.4-1+b1_alpha.deb | 358556 bytes | 2025-03-10 12:03:04 |
| 📄 libcadical-dev_1.7.4-1+b1_alpha.deb | 383804 bytes | 2025-03-10 12:03:04 |