Sophie: php-gmp-3:5.4.13-3.mga3 i586

php-gmp-5.4.13-3.mga3.i586.rpm

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

:: :: ::