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

../
minizinc-ide_2.1.7-1.debian.tar.xz                 26-Dec-2025 22:50    8956
minizinc-ide_2.1.7-1.dsc                           26-Dec-2025 22:50    1769
minizinc-ide_2.1.7-1_amd64.deb                     26-Dec-2025 22:50    244K
minizinc-ide_2.1.7-1_i386.deb                      26-Dec-2025 22:50    260K
minizinc-ide_2.1.7.orig.tar.gz                     26-Dec-2025 22:50    210K
minizinc-ide_2.5.3-1.debian.tar.xz                 26-Dec-2025 03:50     13K
minizinc-ide_2.5.3-1.dsc                           26-Dec-2025 03:50    1766
minizinc-ide_2.5.3-1_amd64.deb                     26-Dec-2025 03:50    755K
minizinc-ide_2.5.3-1_i386.deb                      26-Dec-2025 03:50    797K
minizinc-ide_2.5.3.orig.tar.gz                     26-Dec-2025 03:50    780K
minizinc-ide_2.6.3-1.debian.tar.xz                 25-Dec-2025 09:53     13K
minizinc-ide_2.6.3-1.dsc                           25-Dec-2025 09:53    1789
minizinc-ide_2.6.3-1_amd64.deb                     25-Dec-2025 09:53    847K
minizinc-ide_2.6.3-1_i386.deb                      25-Dec-2025 09:53    897K
minizinc-ide_2.6.3.orig.tar.gz                     25-Dec-2025 09:53    808K
minizinc-ide_2.8.5-1.debian.tar.xz                 24-Dec-2025 15:38    9128
minizinc-ide_2.8.5-1.dsc                           24-Dec-2025 15:38    1810
minizinc-ide_2.8.5-1_amd64.deb                     24-Dec-2025 15:38    898K
minizinc-ide_2.8.5-1_i386.deb                      24-Dec-2025 15:38    946K
minizinc-ide_2.8.5.orig.tar.gz                     24-Dec-2025 15:38    816K