On Thu, 21 Oct 2021, Niels Möller wrote:
When it is fixed upstream in libtool (what's the current status?),
From a quick look at the mailing list and the git repository, it seems to have been entirely unmaintained for more than 2 years now :-(
-- Marc Glisse _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
