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

../
minizinc-ide_2.0.14-1+b1_amd64.deb                 17-Mar-2017 18:26              244490
minizinc-ide_2.0.14-1+b1_i386.deb                  17-Mar-2017 17:31              262870