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/4163028321…
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
