We are pleased to announce the release of Spot 0.8.1. Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement the automata-theoretic approach to LTL model checking. This maintenance release fixes a couple of bugs that crept in Spot 0.8, as well as an older issue that caused WDBA minimization to be slower than it should in some cases. You can find the new release here:   http://spot.lip6.fr/dl/spot-0.8.1.tar.gz New in spot 0.8.1:   * Only bug fixes:    - When ltl2tgba is set to perform both WDBA minimization and      degeneralization, do the latter only if the former failed.      In previous version, automata were (uselessly) degeneralized      before WDBA minimization, causing important slowdowns.    - Fix compilation with Clang 3.0.    - Fix a Makefile setup causing a "make check" failure on MacOS X.    - Fix an mkdir error in the CGI script. -- Alexandre Duret-Lutz