-------------------------------------------------------------------
Sat Apr 30 22:32:20 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Fix hanging MiniZinc IDE, add
  0001-Send-DONE-message-before-disconnecting.patch
- Build and run testsuite

-------------------------------------------------------------------
Wed Apr 27 21:34:30 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Initial package version (6.3.0~git20211208)