Index of /repo.pureos.net/pureos/pool/main/m/minizinc-ide/

../
minizinc-ide_2.5.3-1_amd64.deb                     15-Dec-2020 02:48              773044
minizinc-ide_2.5.3-1_arm64.deb                     15-Dec-2020 02:48              713224