On Mon, 2 Mar 2020, Torbjörn Granlund wrote:
paul zimmermann <paul.zimmerm...@inria.fr> writes:
PS: while trying the above change, I noticed the daily snapshots are broken
since January 18...
Would you mind telling us what is "broken"?
I cannot see any recent snapshot at https://gmplib.org/download/snapshot/
, the most recent one appears to be from 17-Jan-2020.
--
Marc Glisse
_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs