Sophie: php-tokenizer-3:7.3.13-1.mga7 armv7hl

php-tokenizer-7.3.13-1.mga7.armv7hl.rpm

-rw-r--r--	22	root	root	/etc/php.d/60_tokenizer.ini
drwxr-xr-x	0	root	root	/usr/lib/.build-id
lrwxrwxrwx	47	root	root	/usr/lib/.build-id/9a/60dc6139011fae696fd52f8034336a776a3020
-rwxr-xr-x	18816	root	root	/usr/lib/php/extensions/tokenizer.so