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

../
minizinc-ide-dbgsym_2.1.7-1_loongarch64.deb        30-Nov-2021 18:08      4M
minizinc-ide_2.1.7-1.debian.tar.xz                 24-Jan-2018 00:43    8956
minizinc-ide_2.1.7-1.dsc                           24-Jan-2018 00:43    1769
minizinc-ide_2.1.7-1_amd64.deb                     24-Jan-2018 00:43    244K
minizinc-ide_2.1.7-1_arm64.deb                     24-Jan-2018 01:14    233K
minizinc-ide_2.1.7-1_i386.deb                      24-Jan-2018 01:59    260K
minizinc-ide_2.1.7-1_loongarch64.deb               30-Nov-2021 18:08    245K
minizinc-ide_2.1.7-1_mips64el.deb                  24-Jan-2018 02:25    239K
minizinc-ide_2.1.7.orig.tar.gz                     24-Jan-2018 00:43    210K