We are happy to announce the release of Spot 2.0.2. This is a maintenance release fixing minor issues found since the release of 2.0.1 last month. The most important changes are detailed below. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.0.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.0.2 (2016-06-17) Documentation: * We now have a citing page at https://spot.lrde.epita.fr/citing.html providing a list of references about Spot. * The Python examples have been augmented with the two examples from our ATVA'16 tool paper. Bug fixes: * Fix compilation error observed with Clang++ 3.7.1 and GCC 6.1.1 headers. * Fix an infinite recursion in relabel_bse(). * Various small typos and cosmetic cleanups. -- Alexandre Duret-Lutz