Checking: lean4-4.14.0-1.fc39.x86_64.rpm
          lean4-4.14.0-1.fc39.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/tmpnmr3vdrk')]
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/baz/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; 30 errors, 6 warnings, 7 filtered, 30 badness; has taken 13.9 s