Changelog for gecode-devel-6.3.0~git20211208.6b09bea4-1.8.x86_64.rpm :

* Sat Apr 30 2022 Stefan Brüns - Fix hanging MiniZinc IDE, add 0001-Send-DONE-message-before-disconnecting.patch- Build and run testsuite
* Wed Apr 27 2022 Stefan Brüns - Initial package version (6.3.0~git20211208)