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 gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs