[Spot-announce] Spot 2.8.2 released

We are happy to announce the release of Spot 2.8.2 This release contains many minor fixes; mostly portability issues. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.8.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. New in spot 2.8.2 (2019-09-27) Command-line tools: - ltl2tgba and ltldo learned a --negate option. Bugs fixed: - Calling "autfilt --dualize" on an alternating automaton with transition-based acceptance and universal initial states would fail with "set_init_state() called with nonexisting state". - The numbering of nodes in the AIGER output of ltlsynt was architecture dependent. - Various compilation issues. In particular, this release is the first one that can be compiled (and pass tests) on a Raspberry PI. -- Alexandre Duret-Lutz