Checking: lean4-4.27.0-1.fc44.x86_64.rpm
          lean4-4.27.0-1.fc44.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.8.0
configuration:
    /usr/lib/python3.14/site-packages/rpmlint/configdefaults.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/tmps94ct2_s')]
checks: 32, packages: 2

lean4.x86_64: E: zero-length /usr/lib64/lean4/include/lean/lean_libuv.h
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libInit.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libLake.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libLean.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libLeanc.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libStd.a
lean4.src: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb')
lean4.src: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb')
lean4.x86_64: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb')
lean4.x86_64: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb')
lean4.spec:52: E: rpm-buildroot-usage %build -DLEAN_INSTALL_PREFIX=%{buildroot} \
lean4.x86_64: W: no-manual-page-for-binary lake
lean4.x86_64: W: no-manual-page-for-binary lean
lean4.x86_64: W: no-manual-page-for-binary leanc
lean4.x86_64: W: no-manual-page-for-binary leanmake
lean4.x86_64: E: lto-no-text-in-archive /usr/lib64/lean4/lib/lean/libleanmanifest.a
lean4.x86_64: E: explicit-lib-dependency libstdc++-devel
lean4.x86_64: E: explicit-lib-dependency libuv-devel
lean4.x86_64: E: devel-dependency gmp-devel
 2 packages and 0 specfiles checked; 15 errors, 4 warnings, 7 filtered, 15 badness; has taken 71.1 s