This update for gmp fixes the following issues:
{ "binaries": [ { "libgmp10": "6.1.2-4.9.1", "libgmp10-32bit": "6.1.2-4.9.1", "libgmpxx4": "6.1.2-4.9.1", "gmp-devel": "6.1.2-4.9.1" } ] }
{ "binaries": [ { "libgmpxx4-32bit": "6.1.2-4.9.1", "gmp-devel-32bit": "6.1.2-4.9.1" } ] }
{ "binaries": [ { "libgmp10": "6.1.2-4.9.1" } ] }