Index of /pub/ubuntu/pool/universe/m/minizinc-ide/

../
minizinc-ide_2.0.10-1_amd64.deb                    02-Jan-2016 23:28              281702
minizinc-ide_2.0.10-1_i386.deb                     02-Jan-2016 23:14              292276