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

../
minizinc-ide_2.1.7-1.debian.tar.xz                 26-Sep-2025 12:54    8956
minizinc-ide_2.1.7-1.dsc                           26-Sep-2025 12:54    1769
minizinc-ide_2.1.7-1_amd64.deb                     26-Sep-2025 12:54    244K
minizinc-ide_2.1.7-1_i386.deb                      26-Sep-2025 12:54    260K
minizinc-ide_2.1.7.orig.tar.gz                     26-Sep-2025 12:54    210K
minizinc-ide_2.5.3-1.debian.tar.xz                 27-Sep-2025 21:10     13K
minizinc-ide_2.5.3-1.dsc                           27-Sep-2025 21:10    1766
minizinc-ide_2.5.3-1_amd64.deb                     27-Sep-2025 21:10    755K
minizinc-ide_2.5.3-1_i386.deb                      27-Sep-2025 21:10    797K
minizinc-ide_2.5.3.orig.tar.gz                     27-Sep-2025 21:10    780K
minizinc-ide_2.6.3-1.debian.tar.xz                 27-Sep-2025 13:26     13K
minizinc-ide_2.6.3-1.dsc                           27-Sep-2025 13:26    1789
minizinc-ide_2.6.3-1_amd64.deb                     27-Sep-2025 13:26    847K
minizinc-ide_2.6.3-1_i386.deb                      27-Sep-2025 13:26    897K
minizinc-ide_2.6.3.orig.tar.gz                     27-Sep-2025 13:26    808K
minizinc-ide_2.8.5-1.debian.tar.xz                 27-Sep-2025 03:03    9128
minizinc-ide_2.8.5-1.dsc                           27-Sep-2025 03:03    1810
minizinc-ide_2.8.5-1_amd64.deb                     27-Sep-2025 03:03    898K
minizinc-ide_2.8.5-1_i386.deb                      27-Sep-2025 03:03    946K
minizinc-ide_2.8.5.orig.tar.gz                     27-Sep-2025 03:03    816K