Files
| -rw-r--r-- | 16 | root | root | /etc/php.d/25_gmp.ini |
| drwxr-xr-x | 0 | root | root | /usr/lib/.build-id |
| drwxr-xr-x | 0 | root | root | /usr/lib/.build-id/54 |
| lrwxrwxrwx | 41 | root | root | /usr/lib/.build-id/54/8d375620e02e19b73e2fc80793511fa4ec34f2 |
| -rwxr-xr-x | 81972 | root | root | /usr/lib/php/extensions/gmp.so |
