File MiniZincIDE.changes of Package MiniZincIDE

-------------------------------------------------------------------
Sat Jan 18 07:05:43 UTC 2025 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Update to version 2.8.7:
  https://docs.minizinc.dev/en/2.8.7/changelog.html

-------------------------------------------------------------------
Sun Dec 31 21:57:18 UTC 2023 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Update to version 2.8.2:
  https://www.minizinc.org/doc-2.8.2/en/changelog.html

-------------------------------------------------------------------
Sat Jul 16 22:28:59 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Update to version 2.6.4:
  https://www.minizinc.org/doc-2.6.4/en/changelog.html
- Drop upstream patches:
  * fix-cp-profiler-messages.patch
  * 0001-Fix-signature-for-signal-slots-using-MessageWrapper.patch
  * 0001-Use-a-recursive-mutex-to-avoid-deadlocks.patch

-------------------------------------------------------------------
Sat Apr 30 15:00:03 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Fix hanginging profiler, add
  * fix-cp-profiler-messages.patch
  * 0001-Fix-signature-for-signal-slots-using-MessageWrapper.patch
  * 0001-Use-a-recursive-mutex-to-avoid-deadlocks.patch

-------------------------------------------------------------------
Fri Apr 29 00:38:13 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Initial package version (2.6.2)