../ minizinc_2.0.14+dfsg1-1.debian.tar.xz 28-Aug-2016 16:46 9244 minizinc_2.0.14+dfsg1-1_amd64.deb 28-Aug-2016 16:46 1094870 minizinc_2.0.14+dfsg1-1_arm64.deb 28-Aug-2016 18:11 1033158 minizinc_2.0.14+dfsg1-1_i386.deb 28-Aug-2016 18:11 1129828 minizinc_2.0.14+dfsg1-1_mips64el.deb 28-Aug-2016 18:42 1035928 minizinc_2.0.14+dfsg1-1_ppc64el.deb 28-Aug-2016 18:17 1038546