Index of /de.archive.ubuntu.com-old/ubuntu/pool/universe/m/minizinc-ide/

../
minizinc-ide_2.0.10-1_amd64.deb                    03-Jan-2016 05:28    275K
minizinc-ide_2.1.7-1_amd64.deb                     23-Jan-2018 23:28    246K
minizinc-ide_2.4.2-2build1_amd64.deb               22-Mar-2020 18:00    529K
minizinc-ide_2.5.3-1_amd64.deb                     10-Dec-2020 05:39    755K