Index of /201511011048/raspbian/pool/main/m/minizinc-ide/

../
minizinc-ide_2.0.8-1.debian.tar.xz                 25-Oct-2015 14:39                8500
minizinc-ide_2.0.8-1.dsc                           25-Oct-2015 14:39                1752
minizinc-ide_2.0.8.orig.tar.gz                     25-Oct-2015 14:39              415087