Synopsis: tools/gmp fails to configure with "gmp library to old" Responsible-Changed-From-To: toolchain-manager->bad Responsible-Changed-By: bad%NetBSD.org@localhost Responsible-Changed-When: Sat, 28 Sep 2024 21:20:07 +0000 Responsible-Changed-Why: mine