Changelog for gecode-minizinc-6.3.0~git20211208.6b09bea4-150400.4.4.x86_64.rpm :

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