6 May
2025
6 May
'25
5:56 p.m.
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
6 May
6 May
9:41 p.m.
Hi Matthias,
Matthias Volk <m.volk(a)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.ta…
Alexandre
10:14 p.m.
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(a)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.ta…
Alexandre
______________________
Spot mailing list -- spot(a)lrde.epita.fr
https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr//
27
days inactive
27
days old
2 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
Matthias Volk