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