Package: minizinc Followup-For: Bug #830973 Dear Maintainer,
This bug appears to be fixed in the latest upstream release (2.1.5) as it now includes an executable "mzn-fzn" that works as the minizinc driver. However mzn-gecode searches for a binary called "minizinc" so that script would need to be updated also.
