../ minizinc_2.0.13+dfsg1-1.debian.tar.xz 08-Apr-2016 02:33 9180 minizinc_2.0.13+dfsg1-1.dsc 08-Apr-2016 02:33 1797 minizinc_2.0.13+dfsg1-1_mipsel.deb 08-Apr-2016 10:04 983K minizinc_2.0.13+dfsg1.orig.tar.gz 08-Apr-2016 02:33 439K