Ciao! There is a patch from upstream related to this issue.
https://gmplib.org/repo/gmp-6.2/rev/561a9c25298e Ĝis, m -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
