We are happy to announce the release of Spot 2.4.3 This is a maintenance release containing only minor bug fixes and documentation changes. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.4.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.4.3 (2017-12-19) Bugs fixed: - couvreur99_new() leaked memory when processing TωA that allocate states. - Some mismatched placement-new/delete reported by ASAN were fixed. - Static compilation was broken on MinGW. - Execution of Jupyter notebooks from the testsuite failed with recent versions of Python. - Fix some warnings triggered by the development version of g++. -- Alexandre Duret-Lutz