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

../
minizinc-ide_2.0.14-1.debian.tar.xz                29-Aug-2016 17:35                9020
minizinc-ide_2.0.14-1.dsc                          29-Aug-2016 17:35                1741
minizinc-ide_2.0.14-1_armhf.deb                    04-Sep-2016 16:08              227406
minizinc-ide_2.0.14.orig.tar.gz                    29-Aug-2016 17:35              209391