| Name | Date | Size |
|---|---|---|
| ../ | 30-Aug-2025 14:35 | - |
| z3-4.15.2_0+threads.darwin_10.ppc.tbz2 | 18-Jul-2025 03:58 | 44.7M |
| z3-4.15.2_0+threads.darwin_10.ppc.tbz2.rmd160 | 18-Jul-2025 06:24 | 256B |
| z3-4.15.3_0+threads.darwin_10.ppc.tbz2 | 30-Aug-2025 11:04 | 44.0M |
| z3-4.15.3_0+threads.darwin_10.ppc.tbz2.rmd160 | 30-Aug-2025 14:51 | 256B |