gecode-6.3.0~git20211208.6b09bea4-bp160.1.13

Update Info: Base Release
Available in Package Hub : 16.0

gecode-devel

gecode-minizinc

libgecode51

* Sat Apr 30 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 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Initial package version (6.3.0~git20211208)