Re: GMP website: old release (3.1.1) cannot be downloaded

2021-01-05 Thread Peter Jin
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

Re: GMP website: old release (3.1.1) cannot be downloaded

2020-12-26 Thread Niels Möller
"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

Re: GMP website: old release (3.1.1) cannot be downloaded

2020-12-26 Thread Peter Jin
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.

Re: GMP website: old release (3.1.1) cannot be downloaded

2020-12-25 Thread Torbjörn Granlund
"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

GMP website: old release (3.1.1) cannot be downloaded

2020-12-25 Thread Peter Jin
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