| Name | Date | Size |
|---|---|---|
| ../ | 08-Sep-2026 07:53 | - |
| cadical-2.0.0_0.darwin_10.ppc.tbz2 | 07-Jan-2025 05:33 | 1.6M |
| cadical-2.0.0_0.darwin_10.ppc.tbz2.rmd160 | 07-Jan-2025 06:09 | 256B |
| cadical-3.0.1_0.darwin_10.ppc.tbz2 | 09-Aug-2026 12:20 | 2.8M |
| cadical-3.0.1_0.darwin_10.ppc.tbz2.rmd160 | 09-Aug-2026 17:06 | 256B |