Index of /deb.debian.org/debian/pool/main/m/minizinc-ide/

../
minizinc-ide_2.8.5-1.debian.tar.xz                 27-Aug-2024 09:28    9128
minizinc-ide_2.8.5-1.dsc                           27-Aug-2024 09:28    1810
minizinc-ide_2.8.5-1_amd64.deb                     27-Aug-2024 09:53    898K
minizinc-ide_2.8.5.orig.tar.gz                     27-Aug-2024 09:28    816K