Dear Spot developers,
first, thanks for the great library. We use it in our probabilistic model checker Storm (https://www.stormchecker.org/) for LTL model checking.
In our CI we have a daily job building the Storm tool which also downloads the latest Spot version. In the last couple of days, the download link https://www.lrde.epita.fr/dload/spot/spot-2.13.tar.gz was unavailable. See for example this CI job: https://github.com/moves-rwth/storm/actions/runs/14830395085/job/41630283210...
I now checked and it seems the link is working again. So a big thanks for fixing the issue.
We have seen the unavailability of the website occasionally throughout the last months. Is there something we can do in these instances? Should we notify you or are you already aware of it anyway? Or is there perhaps a mirror which we could try if the main website is down?
Best regards, Matthias Volk