| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| minizinc_2.10.1_aarch64.deb | 2.0 MiB | 31-08-2026 | 13:54 | |
| minizinc_2.10.1_arm.deb | 2.0 MiB | 31-08-2026 | 13:54 | |
| minizinc_2.10.1_x86_64.deb | 2.3 MiB | 31-08-2026 | 13:54 | |
| minizinc_2.10.1_i686.deb | 2.3 MiB | 31-08-2026 | 13:54 | |