Files
| -rw-r--r-- | 19 | root | root | /etc/php.d/25_gmp.ini |
| -rwxr-xr-x | 46868 | root | root | /usr/lib/php/extensions/gmp.so |
distrib
>
Mandriva
>
current
>
i586
>
media
>
main-updates
>
by-pkgid
>
bdf61d07d7e41a6397dbd051456838f2
>
files
