We are pleased to announce the release of Spot 0.8.1. Spot is a model-checking library developed collaboratively by LRDEand LIP6. It provides algorithms and data structures to implementthe 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 thanit should when producing degeneralized Büchi automata. 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