We are happy to announce the release of Spot 2.3.5 This is a maintenance release containing only bug fixes. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.3.5.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Furthermore, as Debian 9 "Stretch" was recently released, the stable Debian packages we distribute (see http://www.lrde.epita.fr/install.html) are now built for Stretch. As always, please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.3.5 (2017-06-22) Bugs fixed: - We have fixed new cases where translating multiple formulas in a single ltl2tgba run could produce automata different from those produced by individual runs. - The print_dot() function had a couple of issues when printing alternating automata: in particular, when using flag 's' (display SCC) or 'y' (split universal destination by colors) universal edges could be connected to undefined states. - Using --stats=%s or --stats=%s or --stats=%t could take an unnecessary long time on automata with many atomic propositions, due to a typo. Furthermore, %s/%e/%t/%E/%T were printing a number of reachable states/edges/transitions, but %S was incorrectly counting all states even unreachable. - Our verson of BuDDy had an incorrect optimization for the biimp operator. -- Alexandre Duret-Lutz