Files
| -rw-r--r-- | 19 | root | root | /etc/php.d/25_gmp.ini |
| -rwxr-xr-x | 50288 | root | root | /usr/lib64/php/extensions/gmp.so |
distrib
>
*
>
2008.0
>
x86_64
>
media
>
main-testing
>
by-pkgid
>
aba71a5363995a8f703929c7fe5e6f0a
>
files
