Content of RPM hoogle-5.0.12-bp150.1.5.x86_64.rpm :
/usr/bin/hoogle
/usr/share/doc/packages/hoogle
/usr/share/doc/packages/hoogle/CHANGES.txt
/usr/share/doc/packages/hoogle/LICENSE
/usr/share/doc/packages/hoogle/README.md
/usr/share/hoogle-5.0.12
/usr/share/hoogle-5.0.12/html
/usr/share/hoogle-5.0.12/html/favicon.png
/usr/share/hoogle-5.0.12/html/favicon57.png
/usr/share/hoogle-5.0.12/html/favicon64.png
/usr/share/hoogle-5.0.12/html/hoogle.css
/usr/share/hoogle-5.0.12/html/hoogle.js
/usr/share/hoogle-5.0.12/html/hoogle.png
/usr/share/hoogle-5.0.12/html/index.html
/usr/share/hoogle-5.0.12/html/less_blue.png
/usr/share/hoogle-5.0.12/html/less_gray.png
/usr/share/hoogle-5.0.12/html/less_small.png
/usr/share/hoogle-5.0.12/html/log.html
/usr/share/hoogle-5.0.12/html/more_blue.png
/usr/share/hoogle-5.0.12/html/more_gray.png
/usr/share/hoogle-5.0.12/html/more_small.png
/usr/share/hoogle-5.0.12/html/plugin
/usr/share/hoogle-5.0.12/html/plugin/chosen-jquery.js
/usr/share/hoogle-5.0.12/html/plugin/chosen-sprite.png
/usr/share/hoogle-5.0.12/html/plugin/[email protected]
/usr/share/hoogle-5.0.12/html/plugin/chosen.css
/usr/share/hoogle-5.0.12/html/plugin/jquery-cookie.js
/usr/share/hoogle-5.0.12/html/search.xml
/usr/share/hoogle-5.0.12/html/welcome.html
/usr/share/hoogle-5.0.12/misc
/usr/share/hoogle-5.0.12/misc/settings.txt