../ minizinc_2.0.11+dfsg1-1.debian.tar.xz 17-Jan-2016 23:14 9164 minizinc_2.0.11+dfsg1-1.dsc 17-Jan-2016 23:14 1797 minizinc_2.0.11+dfsg1-1_amd64.deb 17-Jan-2016 23:45 1077278 minizinc_2.0.11+dfsg1.orig.tar.gz 17-Jan-2016 23:14 446388