../ 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_amd64.deb 07-Apr-2016 18:33 1089138 minizinc_2.0.13+dfsg1-1_armel.deb 07-Apr-2016 23:58 978066 minizinc_2.0.13+dfsg1-1_i386.deb 07-Apr-2016 23:47 1121724 minizinc_2.0.13+dfsg1.orig.tar.gz 07-Apr-2016 18:33 449140