Index of /201605241736/raspbian/pool/main/m/minizinc-ide/

../
minizinc-ide_2.0.13-1.debian.tar.xz                07-Apr-2016 18:33                8548
minizinc-ide_2.0.13-1.dsc                          07-Apr-2016 18:33                1759
minizinc-ide_2.0.13-1_armhf.deb                    13-Apr-2016 10:08              259574
minizinc-ide_2.0.13.orig.tar.gz                    07-Apr-2016 18:33              415645