"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
It seems like just changing the symbol name to __gmp_ was NOT the fix,
sorry I must've confused myself - reverting the commit as a whole still
fixes it though.
Best regards and a merry Christmas
Jannik
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
