Changelog for python311-minizinc-0.9.0-1.15.noarch.rpm :

* Sun Dec 31 2023 Stefan Brüns - Update to version 0.9.0:
* Add support for MiniZinc tuple and record types.
* Minimum supported version of MiniZinc has increased from 2.5.0 to 2.5.4.
* Ensure time events send using the JSON stream are parsed as timedelta objects.
* Pass JSON definitions in using JSON instead of generated DZN files..- Update to version 0.8.0:
* The project no longer supports Python 3.6.
* Fix the conversion when using a Python enumerated type in MiniZinc that uses non-ascii identifiers.
* Sat Jul 16 2022 Stefan Brüns - Update to version 0.7.0, see https://github.com/MiniZinc/minizinc-python/blob/0.7.0/CHANGELOG.rst
* Thu Apr 28 2022 Stefan Brüns - Initial package version (0.6.0)