MiniZinc conflicts with chuffed: minizinc-2.7.5 conflicts with chuffed-0.12.0_1 (installs files into the same place). Problematic file: /usr/local/share/minizinc/chuffed/chuffed.mzn #708
Labels
resolved
Issue is resolved and the feature or fix will be part of next release
chuffed-chuffed-0.12.0
FreeBSD 13.2
The text was updated successfully, but these errors were encountered: