Sophie: php-gmp-3:5.3.17-2.mga1 i586

php-gmp-5.3.17-2.mga1.i586.rpm

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

:: :: ::