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
Hi Matthias,
Matthias Volk m.volk@tue.nl writes:
We have seen the unavailability of the website occasionally throughout the last months.
Sorry about that. Unfortunately, I suffer from it too.
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?
First, you should know that LRDE has become LRE a few years ago, but that we are still moving stuff from one domain to the other one. So currently https://www.lre.epita.fr/dload/spot/ and https://www.lrde.epita.fr/dload/spot/ are two separate servers where you can download Spot's sources. The former is supposed to be the new address. Eventually the second address will redirect to the former. (But this mailing list is still hosted at LRDE.)
During the last outage, the first server was back online a few days before the second one. So in my own build script, I've started to do things like
curl $(URL_FROM_LRE) -o file || curl $(URL_FROM_LRDE) -o file
Also, every time we make a release of Spot, and put the sources into the above two locations, we call web.archive.com so it archives these tarballs immediately. So even if these two URLs are down, WebArchive is still an option:
curl -O -L https://web.archive.org/web/http://www.lre.epita.fr/dload/spot/spot-2.13.tar...
Alexandre
Hi Alexandre,
thanks for the very quick reply.
I will follow your suggestions and will try to incorporate both servers and the Webarchive into our build scripts. Then we should be on the safe side.
Thanks for your help.
Best, Matthias
On 06/05/2025 21:41, Alexandre Duret-Lutz wrote:
Hi Matthias,
Matthias Volk m.volk@tue.nl writes:
We have seen the unavailability of the website occasionally throughout the last months.
Sorry about that. Unfortunately, I suffer from it too.
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?
First, you should know that LRDE has become LRE a few years ago, but that we are still moving stuff from one domain to the other one. So currently https://www.lre.epita.fr/dload/spot/ and https://www.lrde.epita.fr/dload/spot/ are two separate servers where you can download Spot's sources. The former is supposed to be the new address. Eventually the second address will redirect to the former. (But this mailing list is still hosted at LRDE.)
During the last outage, the first server was back online a few days before the second one. So in my own build script, I've started to do things like
curl $(URL_FROM_LRE) -o file || curl $(URL_FROM_LRDE) -o fileAlso, every time we make a release of Spot, and put the sources into the above two locations, we call web.archive.com so it archives these tarballs immediately. So even if these two URLs are down, WebArchive is still an option:
curl -O -L https://web.archive.org/web/http://www.lre.epita.fr/dload/spot/spot-2.13.tar...
Alexandre ______________________ Spot mailing list -- spot@lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr//
-
Alexandre Duret-Lutz -
Matthias Volk