We are happy to announce the release of Spot 2.14.1 This is a minor realease that addresses a few bugs. You can find the new release here: http://www.lre.epita.fr/dload/spot/spot-2.14.1.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.1 (2025-07-21) Bug fixes: - print_hoa() will not use state-based output if the input has been tagged as transition-based (i.e. prop_state_acc() == false). If only uses state-based output when prop_state_acc() == true, or if prop_state_acc() == maybe and the automaton is found to be compatible with a state-based output. - ltlfsynt's decomposition optimization (which was implemented in the same way as we did in ltlsynt for LTL) isn't always correct for LTLf specification. Until we know and implement a better sufficient condition, this version disables decomposition except for X-free specifications. (Issue #610.) - Various documentation fixes. -- Alexandre Duret-Lutz