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

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

-rw-r--r--	20	root	root	/etc/php.d/82_json.ini
-rwxr-xr-x	40872	root	root	/usr/lib64/php/extensions/json.so

:: :: ::