Parent directory/ | - | - |
minizinc-ide_2.1.7.orig.tar.gz | 210K | 2018-Jan-23 23:28 |
minizinc-ide_2.1.7-1_i386.deb | 262K | 2018-Jan-23 23:29 |
minizinc-ide_2.1.7-1_amd64.deb | 246K | 2018-Jan-23 23:28 |
minizinc-ide_2.1.7-1.dsc | 1769 | 2018-Jan-23 23:28 |
minizinc-ide_2.1.7-1.debian.tar.xz | 8956 | 2018-Jan-23 23:28 |
minizinc-ide_2.0.14.orig.tar.gz | 204K | 2016-Nov-02 03:45 |
minizinc-ide_2.0.14-1_i386.deb | 253K | 2016-Nov-02 13:12 |
minizinc-ide_2.0.14-1_amd64.deb | 239K | 2016-Nov-02 12:39 |
minizinc-ide_2.0.14-1.dsc | 1741 | 2016-Nov-02 03:45 |
minizinc-ide_2.0.14-1.debian.tar.xz | 9020 | 2016-Nov-02 03:45 |
minizinc-ide_2.0.10.orig.tar.gz | 406K | 2016-Jan-03 05:14 |
minizinc-ide_2.0.10-1_i386.deb | 285K | 2016-Jan-03 05:14 |
minizinc-ide_2.0.10-1_amd64.deb | 275K | 2016-Jan-03 05:28 |
minizinc-ide_2.0.10-1.dsc | 1759 | 2016-Jan-03 05:14 |
minizinc-ide_2.0.10-1.debian.tar.xz | 8540 | 2016-Jan-03 05:14 |