Checking: lean4-4.20.0-4.fc43.x86_64.rpm
          lean4-4.20.0-4.fc43.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.7.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/tmprzbwi1om')]
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/precompileLink/Foo/Bar.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/query/lib/C.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/setupFile/Test.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/trace/Foo.lean
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/lib/lean/libleanshared_1.so /usr/lib64/lean4/lib/lean/libInit_shared.so
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
lean4.x86_64: W: files-duplicate /usr/lib64/lean4/src/lean/lake/tests/externLib/ffi/Main.lean /usr/lib64/lean4/src/lean/lake/tests/externLib/Main.lean
lean4.x86_64: W: files-duplicate /usr/lib64/lean4/src/lean/lake/tests/precompileLink/Indirect.lean /usr/lib64/lean4/src/lean/lake/tests/precompileLink/Downstream/Import.lean
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; 35 errors, 8 warnings, 7 filtered, 35 badness; has taken 48.0 s