Index of /debian/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_ppc64el.deb               17-Mar-2017 09:13    231K
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+b1_amd64.deb                  08-Aug-2019 10:45    250K
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_ppc64el.deb                   23-Jan-2018 17:14    245K
minizinc-ide_2.1.7.orig.tar.gz                     23-Jan-2018 16:43    210K