| Name | Date | Size |
|---|---|---|
| ../ | 31-Oct-2025 10:08 | - |
| minizinc-2.9.2_0.darwin_10.ppc.tbz2 | 22-Sep-2025 15:17 | 4.7M |
| minizinc-2.9.2_0.darwin_10.ppc.tbz2.rmd160 | 22-Sep-2025 16:52 | 256B |
| minizinc-2.9.3_0.darwin_10.ppc.tbz2 | 22-Sep-2025 16:27 | 4.7M |
| minizinc-2.9.3_0.darwin_10.ppc.tbz2.rmd160 | 22-Sep-2025 16:52 | 256B |