Index of /debian-archives/pool/main/m/minizinc-ide/


../
minizinc-ide_2.0.14-1+b1_amd64.deb                 17-Mar-2017 18:26    239K
minizinc-ide_2.0.14-1+b1_i386.deb                  17-Mar-2017 17:31    257K
minizinc-ide_2.0.14-1+b1_mips64el.deb              19-Mar-2017 04:12    235K
minizinc-ide_2.0.14-1.debian.tar.xz                29-Aug-2016 17:35    9020
minizinc-ide_2.0.14-1.dsc                          29-Aug-2016 17:35    1741
minizinc-ide_2.0.14.orig.tar.gz                    29-Aug-2016 17:35    204K
minizinc-ide_2.1.7-1.debian.tar.xz                 23-Jan-2018 16:43    8956
minizinc-ide_2.1.7-1.dsc                           23-Jan-2018 16:43    1769
minizinc-ide_2.1.7-1_amd64.deb                     23-Jan-2018 16:43    244K
minizinc-ide_2.1.7-1_i386.deb                      23-Jan-2018 17:59    260K
minizinc-ide_2.1.7-1_mips64el.deb                  23-Jan-2018 18:25    239K
minizinc-ide_2.1.7.orig.tar.gz                     23-Jan-2018 16:43    210K