/usr/share/php5.6-gmp/gmp
Directories:

• /usr/share/php5.6-gmp

Files:

• gmp.ini