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


../
minizinc-ide_2.1.7-1.debian.tar.xz                 23-Jan-2018 16:43                8956
minizinc-ide_2.1.7-1.dsc                           23-Jan-2018 16:43                1769
minizinc-ide_2.1.7-1_amd64.deb                     23-Jan-2018 16:43              250072
minizinc-ide_2.1.7.orig.tar.gz                     23-Jan-2018 16:43              215504