Index of /debian/pool/main/m/minizinc-ide/
Index of /debian/pool/main/m/minizinc-ide/
../
minizinc-ide_2.5.3-1.debian.tar.xz 09-Dec-2020 19:17 13K
minizinc-ide_2.5.3-1.dsc 09-Dec-2020 19:17 1766
minizinc-ide_2.5.3-1_amd64.deb 10-Dec-2020 01:14 755K
minizinc-ide_2.5.3.orig.tar.gz 09-Dec-2020 19:17 780K
minizinc-ide_2.6.3-1.debian.tar.xz 29-May-2022 17:20 13K
minizinc-ide_2.6.3-1.dsc 29-May-2022 17:20 1789
minizinc-ide_2.6.3-1_amd64.deb 29-May-2022 17:56 847K
minizinc-ide_2.6.3.orig.tar.gz 29-May-2022 17:20 808K