Index of /stable/debian-9-official-release/pool/main/m/minizinc-ide/

../
minizinc-ide_2.0.14-1+b1_amd64.deb                 24-Sep-2019 10:52              244490
minizinc-ide_2.0.14-1+b1_i386.deb                  22-Jan-2020 00:19              262870