../ 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