File gecode.changes of Package gecode
------------------------------------------------------------------- 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)