| Name | Date | Size |
|---|---|---|
| ../ | 13-Jan-2026 08:37 | - |
| 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 |
| z3-4.15.4_0+threads.darwin_10.ppc.tbz2 | 10-Nov-2025 23:21 | 44.0M |
| z3-4.15.4_0+threads.darwin_10.ppc.tbz2.rmd160 | 11-Nov-2025 00:28 | 256B |