We are happy to announce the release of Spot 2.12.1 This is a minor release containing fixes for several unimportant bugs; if 2.12 already works for you, it is safe to skip this upgrade. You can find the new release here: https://www.lre.epita.fr/dload/spot/spot-2.12.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>, or create an issue at https://gitlab.lre.epita.fr/spot/spot/-/issues/new ---------- New in spot 2.12.1 (2024-09-23) Bug fixes: - Generating random formula without any unary opertors would very often create formulas much smaller than asked. - The parity game solver, which internally works on "parity max odd", but actually accept any type of parity acceptance, could be confused by games with "parity min" acceptance using transition with several colors (a rather uncommon situation). - "ltlsynt ... --print-game --dot=ARGS" was ignoring ARGS. - Work around various warnings from g++14. - Improved handling of spot-extra/ directory with newer Swig versions. Necessary to recompile Seminator 2 with Swig 4.