Index of /mipsel/pool/main/m/minizinc/

../
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_mips64el.deb               08-Apr-2016 13:50   1004K
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