| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc-ide_2.10.0-1_amd64.deb | 989180 | 2026-Aug-23 09:20 |
| minizinc-ide_2.10.0-1_arm64.deb | 858320 | 2026-Aug-23 09:14 |
| minizinc-ide_2.6.3-1_amd64.deb | 867132 | 2022-May-29 16:56 |
| minizinc-ide_2.8.5-1_amd64.deb | 919748 | 2024-Aug-27 04:53 |
| minizinc-ide_2.8.5-1_arm64.deb | 843008 | 2024-Aug-27 04:53 |