We are happy to announce the release of Spot 2.8.1 This release one important bug fix to ltlcross, and a few other minor addition. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.8.1.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to &lt;spot(a)lrde.epita.fr&gt;fr>. New in spot 2.8.1 (2019-07-18) Command-line tools: - genltl learned --pps-arbiter-standard and --pps-arbiter-strict. - ltlcross and autcross have learned a new option -q (--quiet) to remain quiet until an error is found. This helps for instance in scenarios where multiple instances of ltlcross/autcross are run in parallel (using "xargs -P" or "GNU Parallel", for instance). See https://spot.lrde.epita.fr/ltlcross.html#parallel for examples. Bugs fixed: - When complement() was called with an output_aborter, it could return an alternating automaton on large automata. This in turn caused ltlcross to emit errors like "remove_alternation() only works with weak alternating automata" or "product() does not support alternating automata". - Work around Emacs bug #34341 when rebuilding documentation on a system with Emacs <26.3, GNU TLS >= 3.6, and without ESS or with an obsolete org-mode installed. -- Alexandre Duret-Lutz