| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc-ide_2.4.2-2build1_amd64.deb | 529.0 KiB | 2020-Mar-22 21:00 |
| minizinc-ide_2.5.3-1_amd64.deb | 754.6 KiB | 2020-Dec-10 08:39 |
| minizinc-ide_2.8.2-1build2_amd64.deb | 888.6 KiB | 2024-Apr-02 02:02 |
| minizinc-ide_2.8.5-1_amd64.deb | 922.7 KiB | 2024-Oct-31 23:59 |