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

../
minizinc-ide_2.1.7-1.debian.tar.xz                 23-Jan-2026 01:07    8956
minizinc-ide_2.1.7-1.dsc                           23-Jan-2026 01:07    1769
minizinc-ide_2.1.7-1_amd64.deb                     23-Jan-2026 01:07    244K
minizinc-ide_2.1.7-1_i386.deb                      23-Jan-2026 01:07    260K
minizinc-ide_2.1.7.orig.tar.gz                     23-Jan-2026 01:07    210K
minizinc-ide_2.5.3-1.debian.tar.xz                 22-Jan-2026 00:52     13K
minizinc-ide_2.5.3-1.dsc                           22-Jan-2026 00:52    1766
minizinc-ide_2.5.3-1_amd64.deb                     22-Jan-2026 00:52    755K
minizinc-ide_2.5.3-1_i386.deb                      22-Jan-2026 00:52    797K
minizinc-ide_2.5.3.orig.tar.gz                     22-Jan-2026 00:52    780K
minizinc-ide_2.6.3-1.debian.tar.xz                 20-Jan-2026 14:42     13K
minizinc-ide_2.6.3-1.dsc                           20-Jan-2026 14:42    1789
minizinc-ide_2.6.3-1_amd64.deb                     20-Jan-2026 14:42    847K
minizinc-ide_2.6.3-1_i386.deb                      20-Jan-2026 14:42    897K
minizinc-ide_2.6.3.orig.tar.gz                     20-Jan-2026 14:42    808K
minizinc-ide_2.8.5-1.debian.tar.xz                 19-Jan-2026 04:04    9128
minizinc-ide_2.8.5-1.dsc                           19-Jan-2026 04:04    1810
minizinc-ide_2.8.5-1_amd64.deb                     19-Jan-2026 04:04    898K
minizinc-ide_2.8.5-1_i386.deb                      19-Jan-2026 04:04    946K
minizinc-ide_2.8.5.orig.tar.gz                     19-Jan-2026 04:04    816K