Bugs for minizinc-ide in Ubuntu Xenial

There are currently no open bugs.