We are happy to announce the release of Spot 2.14.3 This is a maintenance realease that fixes minor compatibility issues and bugs. You can find the new release here: http://www.lre.epita.fr/dload/spot/spot-2.14.3.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>, or create issues on https://gitlab.lre.epita.fr/spot/spot/-/issues/new New in spot 2.14.3 (2025-11-11) Bugs fixed: - Spot's Python bindings used to map spot::parse_error exceptions into Python's SyntaxError exception. However, recent ipython versions have a handling of SyntaxError that really assume a SyntaxError in Python, not an error comming from some third-party parser reading some third-party format... That spot::parse_error exceptions are now raised as instances of spot.parse_error. (Issue #617.) - Swig 4.4, released recently, contains a proper fix to Issue #603. However, that new version also requires some update in Spot's code. While this Spot release preserves compatibility with earlier Swig versions, it is the first to be compatible with Swig 4.4. - ltlf2dfa --mtdfa-stats had a bug where if "false" was the only constant used, it would be reported as "true". - ltlf_to_mtdfa_compose() would sometimes keep the name of states even when instructed to discard them. - Fix several "unnecessary virtual specifiers" reported by newer versions of Clang. - Many typos and documentation improvements.