Index of /201512211047/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-1_armhf.deb                     02-Nov-2015 16:08              258656
minizinc-ide_2.0.8.orig.tar.gz                     25-Oct-2015 14:39              415087