Checking: proverif-2.04-1.fc38.x86_64.rpm
          proverif-2.04-1.fc38.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.4.0
configuration:
    /usr/lib/python3.11/site-packages/rpmlint/configdefaults.toml
    /etc/xdg/rpmlint/fedora-legacy-licenses.toml
    /etc/xdg/rpmlint/fedora-spdx-licenses.toml
    /etc/xdg/rpmlint/fedora.toml
    /etc/xdg/rpmlint/scoring.toml
    /etc/xdg/rpmlint/users-groups.toml
    /etc/xdg/rpmlint/warn-on-functions.toml
rpmlintrc: [PosixPath('/tmp/tmp9b2ns__y')]
checks: 31, packages: 2

proverif.x86_64: W: unstripped-binary-or-object /usr/bin/proverif
proverif.x86_64: W: unstripped-binary-or-object /usr/bin/proverif_interact
proverif.x86_64: W: unstripped-binary-or-object /usr/bin/proveriftotex
proverif.x86_64: W: no-manual-page-for-binary proverif
proverif.x86_64: W: no-manual-page-for-binary proverif_interact
proverif.x86_64: W: no-manual-page-for-binary proveriftotex
proverif.x86_64: E: incorrect-fsf-address /usr/share/licenses/proverif/LICENSE
proverif.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/proverif
proverif.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/proverif_interact
 2 packages and 0 specfiles checked; 1 errors, 8 warnings, 1 badness; has taken 1.1 s