| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc-ide_2.0.10-1_amd64.deb | 275.1 KiB | 2016-Jan-03 06:28 |
| minizinc-ide_2.1.7-1_amd64.deb | 246.2 KiB | 2018-Jan-24 00:28 |
| minizinc-ide_2.4.2-2build1_amd64.deb | 529.0 KiB | 2020-Mar-22 19:00 |
| minizinc-ide_2.5.3-1_amd64.deb | 754.6 KiB | 2020-Dec-10 06:39 |