2022-05-23 15:23:16 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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
|
|
|
|
|
|
2022-04-28 12:34:49 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Wed Apr 27 21:34:30 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>
|
|
|
|
|
|
|
|
|
|
- Initial package version (6.3.0~git20211208)
|
