I can see the z13 patches mentioned still here: https://gmplib.org/list-archives/gmp-devel/2021-August/006005.html and here: https://gmplib.org/list-archives/gmp-devel/2021-November/006059.html Looks like they are still not upstream accepted yet and there is no (pre-)release of > 6.2.1 available yet. Leave this ticket aside for now.
I can see the z13 patches mentioned still here: /gmplib. org/list- archives/ gmp-devel/ 2021-August/ 006005. html /gmplib. org/list- archives/ gmp-devel/ 2021-November/ 006059. html
https:/
and here:
https:/
Looks like they are still not upstream accepted yet
and there is no (pre-)release of > 6.2.1 available yet.
Leave this ticket aside for now.