Files
gecode/gecode.changes

12 lines
447 B
Plaintext

-------------------------------------------------------------------
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)