Version 1.1.5 of MiniZinc has been released. It can be downloaded here.
From the NEWS:
Bugs fixed in this release:
* We have fixed a number of problems that caused stack overflows in mzn2fzn.
* The FlatZinc interpreter's MIP backend no longer reports "unknown" for
satisfaction problems.