We are happy to announce the release of Spot 2.11.5 Spot 2.11.5 is a maintenance release that fixes a handful of issues that were discovered or reported over the last two months. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.11.5.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. ⚠ Note that LRDE (EPITA's Research & Development Laboratory) has been merged with another entity into something larger that is now called LRE (EPITA's Research Laboratory). The removal of "development", is nothing to worry about: we are still continuing to develop Spot as part of our research. However it will be a while before we are able to replace all URLs ending in "lrde.epita.fr" by URLs ending "lrde.epita.fr", so do not be surprized about the mix of those. New in spot 2.11.5 (2023-04-20) Bug fixes: - Fix spurious failure of ltlsynt2.test when Python is not installed (issue #530). - Building from the git repository would fail to report a missing emacs (issue #528). - Fix exception raised by aut1.intersecting_run(aut2).as_twa() because the run did not match transitions present in aut1 verbatim. We also changed the behavior of as_twa() to not merge identical states. - Fix segfaults occuring in determinization of 1-state terminal automata. - Fix incorrect assertion in game solver when the edge vector contains deleted transitions.