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

../
minizinc-ide_2.0.13-1.debian.tar.xz                08-Apr-2016 02:33    8548
minizinc-ide_2.0.13-1.dsc                          08-Apr-2016 02:33    1759
minizinc-ide_2.0.13-1_mips64el.deb                 08-Apr-2016 13:50    267K
minizinc-ide_2.0.13-1_mipsel.deb                   08-Apr-2016 10:04    268K
minizinc-ide_2.0.13.orig.tar.gz                    08-Apr-2016 02:33    406K