We are happy to announce the release of Spot 2.4.2 This is a maintenance release containing only minor bug fixes and documentation changes. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.4.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.4.2 (2017-11-07) Tools: - ltlcross and ltldo support ltl3tela, the new name of ltl3hoa. Bugs fixed: - Automata produced by "genaut --ks-nca=N" were incorrectly marked as not complete. - Fix some cases for which the highest setting of formulas simplification would produce worse results than lower settings. -- Alexandre Duret-Lutz