Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
minizinc-ide_2.1.7-1_i386.deb | 23-Jan-2018 17:59 | 260K | |
minizinc-ide_2.0.14-1+b1_i386.deb | 17-Mar-2017 17:31 | 257K | |
minizinc-ide_2.1.7-1_amd64.deb | 23-Jan-2018 16:43 | 244K | |
minizinc-ide_2.0.14-1+b1_amd64.deb | 17-Mar-2017 18:26 | 239K | |
minizinc-ide_2.1.7.orig.tar.gz | 23-Jan-2018 16:43 | 210K | |
minizinc-ide_2.0.14.orig.tar.gz | 29-Aug-2016 18:35 | 204K | |
minizinc-ide_2.0.14-1.debian.tar.xz | 29-Aug-2016 18:35 | 8.8K | |
minizinc-ide_2.1.7-1.debian.tar.xz | 23-Jan-2018 16:43 | 8.7K | |
minizinc-ide_2.1.7-1.dsc | 23-Jan-2018 16:43 | 1.7K | |
minizinc-ide_2.0.14-1.dsc | 29-Aug-2016 18:35 | 1.7K | |