File python-minizinc.changes of Package python-minizinc

-------------------------------------------------------------------
Sun Dec 31 21:22:54 UTC 2023 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- 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 21:54:45 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Update to version 0.7.0, see
  https://github.com/MiniZinc/minizinc-python/blob/0.7.0/CHANGELOG.rst

-------------------------------------------------------------------
Thu Apr 28 13:45:02 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de>

- Initial package version (0.6.0)