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


../
minizinc-ide_2.6.3-1.debian.tar.xz                 20-Apr-2023 17:02               13224
minizinc-ide_2.6.3-1.dsc                           20-Apr-2023 17:02                1789
minizinc-ide_2.6.3-1_amd64.deb                     20-Apr-2023 17:02              867132
minizinc-ide_2.6.3-1_i386.deb                      20-Apr-2023 17:02              918176
minizinc-ide_2.6.3.orig.tar.gz                     20-Apr-2023 17:02              827264
minizinc-ide_2.8.5-1.debian.tar.xz                 06-Aug-2025 13:11                9128
minizinc-ide_2.8.5-1.dsc                           06-Aug-2025 13:11                1810
minizinc-ide_2.8.5-1_amd64.deb                     06-Aug-2025 13:11              919748
minizinc-ide_2.8.5-1_i386.deb                      06-Aug-2025 13:11              968672
minizinc-ide_2.8.5.orig.tar.gz                     06-Aug-2025 13:11              835165