| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| minizinc-ide_2.0.13-1_amd64.deb | 277K | 19-Aug-2017 17:45 |
| minizinc-ide_2.1.7-1.debian.tar.xz | 8956 | 23-Jan-2018 16:43 |
| minizinc-ide_2.1.7-1.dsc | 1769 | 23-Jan-2018 16:43 |
| minizinc-ide_2.1.7-1_amd64.deb | 244K | 23-Jan-2018 16:43 |
| minizinc-ide_2.1.7.orig.tar.gz | 210K | 23-Jan-2018 16:43 |