There are currently no open bugs.

"minizinc-ide" versions published in Ubuntu

Eoan (2.1.7-1): universe/misc
Disco (2.1.7-1): universe/misc
Bionic (2.1.7-1): universe/misc
Xenial (2.0.10-1): universe/misc