| Name | Date | Size |
|---|---|---|
| ../ | 19-Nov-2024 10:08 | - |
| yices-2.6.4_0.darwin_10.ppc.tbz2 | 20-Jun-2024 01:49 | 4.0M |
| yices-2.6.4_0.darwin_10.ppc.tbz2.rmd160 | 20-Jun-2024 02:52 | 256B |
| yices-2.6.5_0.darwin_10.ppc.tbz2 | 28-Jun-2024 04:50 | 4.0M |
| yices-2.6.5_0.darwin_10.ppc.tbz2.rmd160 | 28-Jun-2024 07:33 | 256B |