| Name | Date | Size |
|---|---|---|
| ../ | 30-Aug-2025 14:35 | - |
| yices-2.6.5_0.darwin_10.ppc.tbz2 | 14-Feb-2025 04:47 | 4.0M |
| yices-2.6.5_0.darwin_10.ppc.tbz2.rmd160 | 14-Feb-2025 07:38 | 256B |
| yices-2.7.0_0.darwin_10.ppc.tbz2 | 07-Aug-2025 11:30 | 4.1M |
| yices-2.7.0_0.darwin_10.ppc.tbz2.rmd160 | 07-Aug-2025 17:01 | 256B |