Index of /201601221640/raspbian/pool/main/m/minizinc/

../
minizinc_2.0.10+dfsg1-1.debian.tar.xz              02-Jan-2016 20:26                9136
minizinc_2.0.10+dfsg1-1.dsc                        02-Jan-2016 20:26                1797
minizinc_2.0.10+dfsg1-1_armhf.deb                  08-Jan-2016 10:08              973956
minizinc_2.0.10+dfsg1.orig.tar.gz                  02-Jan-2016 20:26              446284