Sophie: php-gmp-0:5.2.4-3.5mdv2008.0 x86

php-gmp-5.2.4-3.5mdv2008.0.x86_64.rpm

-rw-r--r--	19	root	root	/etc/php.d/25_gmp.ini
-rwxr-xr-x	50288	root	root	/usr/lib64/php/extensions/gmp.so

:: :: ::