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

../
minizinc_2.0.13+dfsg1-1.debian.tar.xz              07-Apr-2016 18:33                9180
minizinc_2.0.13+dfsg1-1.dsc                        07-Apr-2016 18:33                1797
minizinc_2.0.13+dfsg1-1_armhf.deb                  13-Apr-2016 10:08              978294
minizinc_2.0.13+dfsg1.orig.tar.gz                  07-Apr-2016 18:33              449140