Sophie: php-gmp-3:5.5.13-1.mga4 x86

php-gmp-5.5.13-1.mga4.x86_64.rpm

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

:: :: ::