I can also confirm that the download works now (both on
https://gmplib.org/download/gmp/archive/ and on
https://gmplib.org/download/archive/) (using Firefox). Not sure what was going
on earlier, but I suppose it's resolved now. Thanks for looking into this.
-Peter
On Sat, Dec 26, 2020, at 4:25
> On 26 Dec 2020, at 09:33, Niels Möller wrote:
>
> "Peter Jin" writes:
>
>> 1. Go to https://gmplib.org/download/gmp/archive/
>> 2. Try to download either "gmp-3.1.1.tar.bz2" or "gmp-3.1.1.tar.xz"
>> 3. Response: HTTP/2 403 Forbidden (server: nginx/1.18.0, etc.)
>
> Going to that directory l
"Peter Jin" writes:
> 1. Go to https://gmplib.org/download/gmp/archive/
> 2. Try to download either "gmp-3.1.1.tar.bz2" or "gmp-3.1.1.tar.xz"
> 3. Response: HTTP/2 403 Forbidden (server: nginx/1.18.0, etc.)
Going to that directory listing page (I'm using firefox, no idea if it
attempts to use HT
Hi Torbjörn,
Thanks for your reply. The download URL to 3.1.1 seems to consistently yield a
403 Forbidden response. Misspelled GMP downloads instead yield a 404 response.
Some more evidence:
1. https://gmplib.org/download/gmp/archive/gmp-3.1.1.tar.bz2 -> 403 Forbidden
2. https://gmplib.org/down
"Peter Jin" writes:
It appears that at least one of the old archived GMP releases (version
3.1.1) cannot be downloaded from the GMP website. This is possibly due
to bad permissions on the file (not readable by the web server?).
Or possibly due to an incorrect URL. (I suggest that you use
Hello,
It appears that at least one of the old archived GMP releases (version 3.1.1)
cannot be downloaded from the GMP website. This is possibly due to bad
permissions on the file (not readable by the web server?).
Steps to reproduce:
1. Go to https://gmplib.org/download/gmp/archive/
2. Try to