
We are happy to announce the release of Spot 2.10.6 This is a maintenance release fixing an couple of bugs reported or discovered over the last two weeks. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.10.6.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.10.6 (2022-05-18) Bugs fixed: - Fix compilation error on MacOS X. - Using -Ffile/N to read column N of a CSV file would not reset the /N specification for the next file. - make_twa_graph() will now preserve state numbers when copying a kripke_graph object. As a consequence, print_dot() and print_hoa() will now use state numbers matching those of the kripke_graph (issue #505). - Fix several compilation warning introduced by newer versions of GCC and Clang.