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