Index of /xenial-dev/pool/main/m/minizinc-ide/

../
minizinc-ide_2.0.10-1_amd64.deb                    24-Apr-2018 14:11              281702
minizinc-ide_2.0.10-1_i386.deb                     24-Apr-2018 13:44              292276