Index of /kali/pool/main/m/minizinc-ide/
../
minizinc-ide_2.10.0-1.debian.tar.xz                23-Aug-2026 12:29    9392
minizinc-ide_2.10.0-1.dsc                          23-Aug-2026 12:29    1944
minizinc-ide_2.10.0-1_amd64.deb                    23-Aug-2026 12:50    966K
minizinc-ide_2.10.0-1_arm64.deb                    23-Aug-2026 12:44    838K
minizinc-ide_2.10.0-1_armhf.deb                    23-Aug-2026 12:49    840K
minizinc-ide_2.10.0-1_i386.deb                     23-Aug-2026 12:55   1002K
minizinc-ide_2.10.0.orig.tar.gz                    23-Aug-2026 12:29    816K