Re: Alternative download paths for RSB?

2021-12-21 Thread Chris Johns
On 22/12/21 6:37 am, Joel Sherrill wrote: > On Tue, Dec 21, 2021, 12:45 PM Chris Johns > wrote: > > How can we ensure that all mirrors listed work? > > They would need to be tested and that means more code in the RSB to do it. > > And another thing to check.

Re: Alternative download paths for RSB?

2021-12-21 Thread Joel Sherrill
On Tue, Dec 21, 2021, 12:45 PM Chris Johns wrote: > On 22/12/21 1:45 am, Joel Sherrill wrote: > > On Tue, Dec 21, 2021 at 12:33 AM Sebastian Huber > > wrote: > >> > >> On 20/12/2021 22:52, Chris Johns wrote: > >>> On 21/12/21 2:33 am, Joel Sherrill wrote: > On Mon, Dec 20, 2021 at 8:54 AM

Re: Alternative download paths for RSB?

2021-12-21 Thread Chris Johns
On 22/12/21 1:45 am, Joel Sherrill wrote: > On Tue, Dec 21, 2021 at 12:33 AM Sebastian Huber > wrote: >> >> On 20/12/2021 22:52, Chris Johns wrote: >>> On 21/12/21 2:33 am, Joel Sherrill wrote: On Mon, Dec 20, 2021 at 8:54 AM Joel Sherrill wrote: > > On Mon, Dec 20, 2021 at 6:59 AM

Re: Alternative download paths for RSB?

2021-12-21 Thread Joel Sherrill
On Tue, Dec 21, 2021 at 12:33 AM Sebastian Huber wrote: > > On 20/12/2021 22:52, Chris Johns wrote: > > On 21/12/21 2:33 am, Joel Sherrill wrote: > >> On Mon, Dec 20, 2021 at 8:54 AM Joel Sherrill wrote: > >>> > >>> On Mon, Dec 20, 2021 at 6:59 AM Sebastian Huber > >>> wrote: > >

Re: Alternative download paths for RSB?

2021-12-20 Thread Sebastian Huber
On 20/12/2021 22:52, Chris Johns wrote: On 21/12/21 2:33 am, Joel Sherrill wrote: On Mon, Dec 20, 2021 at 8:54 AM Joel Sherrill wrote: On Mon, Dec 20, 2021 at 6:59 AM Sebastian Huber wrote: Hello, it seems the GNU web server is down: Yep. Still down. i reached out to the sourceware

Re: Alternative download paths for RSB?

2021-12-20 Thread Chris Johns
On 21/12/21 2:33 am, Joel Sherrill wrote: > On Mon, Dec 20, 2021 at 8:54 AM Joel Sherrill wrote: >> >> On Mon, Dec 20, 2021 at 6:59 AM Sebastian Huber >> wrote: >>> >>> Hello, >>> >>> it seems the GNU web server is down: >> >> Yep. Still down. >> >> i reached out to the sourceware admins to see

Re: Alternative download paths for RSB?

2021-12-20 Thread Joel Sherrill
On Mon, Dec 20, 2021 at 8:54 AM Joel Sherrill wrote: > > On Mon, Dec 20, 2021 at 6:59 AM Sebastian Huber > wrote: > > > > Hello, > > > > it seems the GNU web server is down: > > Yep. Still down. > > i reached out to the sourceware admins to see if they knew who to > contact. I couldn't find a

Re: Alternative download paths for RSB?

2021-12-20 Thread Joel Sherrill
On Mon, Dec 20, 2021 at 6:59 AM Sebastian Huber wrote: > > Hello, > > it seems the GNU web server is down: Yep. Still down. i reached out to the sourceware admins to see if they knew who to contact. I couldn't find a gnu.org address. > > download:

Alternative download paths for RSB?

2021-12-20 Thread Sebastian Huber
Hello, it seems the GNU web server is down: download: https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2 -> sources/mpfr-3.1.4.tar.bz2 download: https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2: error: error: downloading https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2: all paths have failed,