Index of /debian/pool/non-free/m/minizinc-ide/

../
minizinc-ide_2.0.14-1+b1_amd64.deb                 08-Jan-2023 18:14              244490
minizinc-ide_2.0.14-1+b1_i386.deb                  08-Jan-2023 17:50              262870
minizinc-ide_2.1.7-1_amd64.deb                     08-Jan-2023 14:24              250072
minizinc-ide_2.1.7-1_i386.deb                      08-Jan-2023 13:50              266472