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

../
minizinc-ide_2.0.10-1.debian.tar.xz                02-Jan-2016 20:26                8540
minizinc-ide_2.0.10-1.dsc                          02-Jan-2016 20:26                1759
minizinc-ide_2.0.10-1_armhf.deb                    08-Jan-2016 10:08              259144
minizinc-ide_2.0.10.orig.tar.gz                    02-Jan-2016 20:26              415324