We are happy to announce the release of Spot 2.5.3 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.5.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot(a)lrde.epita.fr> New in spot 2.5.3 (2018-04-20) Bugs fixed: - "autfilt --cobuchi --small/--det" would turn a transition-based co-Büchi automaton into a state-based co-Büchi. - Fix cryptic error message from Python's spot.translate() and spot.postprocess() when supplying conflicting arguments. - "autfilt -B --sat-minimize" was incorrectly producing transition-based automata. - Using spot.automata("cmd...|") to read just a few automata out of an infinite stream would not properly terminate the command. - The is_unambiguous() check (rewritten in Spot 2.2) could mark some unambiguous automata as ambiguous. -- Alexandre Duret-Lutz