how to update amazon linux gmp package?

We have an Amazon Linux server and we scan it using OpenVAS. It detected one high vulnerability which is **Amazon Linux Local Check: alas-2016-754**. Looking at the solution it says **Run yum update php70 to update your system.** The vulnerable package detected is: Vulnerable package: gmp Installed version: gmp-6.0.0-11.16.amzn1 Fixed version: gmp-7.0.11-1.16.amzn1 At first we don't have php installed. So what we did is install latest version of php. Upon running the suggested solution the result is "No packages marked for update". We also did yum update. After doing another scan the package is still detected by OpenVAS. The question is how to update this package?