Index of /professional/pool/main/m/minizinc-ide/

../
minizinc-ide-dbgsym_2.0.14-1_amd64.deb             15-Nov-2016 15:31      4M
minizinc-ide-dbgsym_2.0.14-1_i386.deb              15-Nov-2016 15:31      4M
minizinc-ide_2.0.10-1.debian.tar.xz                03-Jan-2016 04:26    8540
minizinc-ide_2.0.10-1.dsc                          03-Jan-2016 04:26    1759
minizinc-ide_2.0.10-1_amd64.deb                    03-Jan-2016 04:26    277K
minizinc-ide_2.0.10-1_i386.deb                     03-Jan-2016 06:47    287K
minizinc-ide_2.0.10.orig.tar.gz                    03-Jan-2016 04:26    406K
minizinc-ide_2.0.14-1.debian.tar.xz                23-Nov-2016 13:54    9044
minizinc-ide_2.0.14-1.dsc                          23-Nov-2016 13:54     890
minizinc-ide_2.0.14-1_amd64.deb                    15-Nov-2016 15:31    236K
minizinc-ide_2.0.14-1_i386.deb                     15-Nov-2016 15:31    253K
minizinc-ide_2.0.14.orig.tar.gz                    23-Nov-2016 13:54    204K