On Sun, 28 Dec 2025, [email protected] wrote:
I can see two ways to fix it:
As suggested in https://gmplib.org/manual/Reporting-Bugs , did you try a recent snapshot?
-- Marc Glisse _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
