Yes, 2.9.2 was short-lived, as the main issue it was supposed to fix was only half-fixed... You can find the 2.9.3 release here: http://www.lrde.epita.fr/dload/spot/spot-2.9.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Note that versions 2.9.x are likely to be the last releases using C++14. We plan to switch to C++17 for the next major release. The current code-base is already compatible with C++17, so tools using Spot as a library may consider switching to C++17 already. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. New in spot 2.9.3 (2020-07-22) Bug fixed: - Completely fix the ltlcross issue mentioned in previous release. New in spot 2.9.2 (2020-07-21) Bugs fixed: - ltlcross --csv=... --product=N with N>0 could output spurious diagnostics claiming that words were rejected when evaluating the automaton on state-space. - spot::scc_info::determine_unknown_acceptance() now also update the result of spot::scc_info::one_accepting_scc(). -- Alexandre Duret-Lutz