Checking: lean4-4.13.0-4.fc42.x86_64.rpm
          lean4-4.13.0-4.fc42.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.5.0
configuration:
    /usr/lib/python3.13/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/tmpe5tgpze7')]
checks: 32, packages: 2

lean4.x86_64: E: zero-length /usr/lib64/lean4/include/lean/lean_libuv.h
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/driver/Test.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA/Eulerian.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA/Eulerian/A.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/lock/Nop.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/noBuild/Test.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/noRelease/dep/Dep.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/A.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/A/B/C.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/bar/X.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/foo/X.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/leaf/Z.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/precompileArgs/Foo/Bar.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/trace/Foo.lean
lean4.x86_64: W: unstripped-binary-or-object /usr/lib64/lean4/lib/lean/libleanshared_1.so
lean4.x86_64: E: static-library-without-symtab /usr/lib64/lean4/lib/lean/libleanmanifest.a
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/libStd.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libleancpp.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libleanmanifest.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libleanrt.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:58: 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: W: files-duplicate /usr/lib64/lean4/src/lean/lake/tests/clone/test/Main.lean /usr/lib64/lean4/src/lean/lake/tests/buildArgs/Main.lean
 2 packages and 0 specfiles checked; 29 errors, 6 warnings, 7 filtered, 29 badness; has taken 14.3 s