We are happy to announce the release of Spot 2.13.2

This is a maintenance release that fixes a few issues.

You can find the new release here:

http://www.lre.epita.fr/dload/spot/spot-2.13.2.tar.gz

See https://spot.lre.epita.fr/ for documentation and installation instructions.

Please direct any feedback to spot@lrde.epita.fr, or create issues on https://gitlab.lre.epita.fr/spot/spot/-/issues/new

New in spot 2.13.2 (2025-06-12)

Bugs fixed:

- compiling from git with a missing Bison would display a confusing error (Issue #607)

- the Python bindings for iterators generated by Swig are not working with libc++ when multiple modules are used. (Everything works with libstdc++.) This caused issues in Mac OS and OpenBSD. This version implements a workaround until Swig is fixed. (Issue #603)

- Fix spurious failure of ltlsynt.test on OpenBSD.

- difference_word_forq() could return different words on different architectures because the code was iterating on hash_map that can be implemented in different ways.

- remove_univ_otf() had a memory-handling bug, that could cause use-after-free errors.