Your powerpc64le patch is now in the main GMP repo, https://gmplib.org/repo/gmp/. Thanks for your contribution! (We're still waiting for any reaction from the FSF staff, but we have decided to time out after a reasonable time. Should some problem arise, we'll address it appropriately.) Torbjörn Please encrypt, key id 0xC8601622