../ minizinc_2.0.14+dfsg1-1+b1_mips64el.deb 24-Apr-2019 17:35 1013K minizinc_2.0.14+dfsg1-1.debian.tar.xz 24-Apr-2019 17:35 9244 minizinc_2.0.14+dfsg1-1.dsc 24-Apr-2019 17:35 1779 minizinc_2.0.14+dfsg1.orig.tar.gz 24-Apr-2019 17:35 438K