# linux:redhat:rpm search

It was usefull when I searched `sysvsem.so` php module. It turned out that rpm packed name is php74-php-process

&#x20;

<https://rpmfind.net/>
