Index of /ubuntu/pool/main/m/minizinc-ide/


../
minizinc-ide_2.0.10-1_amd64.deb                    28-May-2020 21:35              281702
minizinc-ide_2.1.7-1_amd64.deb                     28-May-2020 17:46              252076