We are happy to announce the release of Spot 2.11.6. This is a maintenance release containing several fixes for bugs that have been discovered since 2.11.5. This include a fix for a 20-year old typo in the modified version of BuDDy that we ship with Spot. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.11.6.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>. ⚠ Note that LRDE (EPITA's Research & Development Laboratory) has been merged with another entity into something larger that is now called LRE (EPITA's Research Laboratory). It will be a while before we are able to replace all URLs ending in "lrde.epita.fr" by URLs ending "lre.epita.fr", so do not be surprized about the mix of those. New in spot 2.11.6 (2023-08-01) Bug fixes: - Running command lines such as "autfilt input.hoa -o output-%L.hoa" where thousands of different filenames can be created failed with "Too many open files". (Issue #534) - Using --format=... on a tool that output formulas would force the output on standard output, even when --output was given. - Using "randltl -S" did not correctly go through the SERE printer functions. - Our copy of BuDDy's bdd_forall() had a 20 year old typo that caused cache entries from bdd_exist() and bdd_forall() to be mixed. Spot was safe from this bug because it was only using bdd_exist(). (Issue #535) - Work around recent Pandas and GCC changes.