Checking: ott-0.33-1.fc41.x86_64.rpm
          ott-devel-0.33-1.fc41.x86_64.rpm
          ott-0.33-1.fc41.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.5.0
configuration:
    /usr/lib/python3.12/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/tmpk4jcdfs7')]
checks: 32, packages: 3

ott.x86_64: E: zero-length /usr/lib64/ocaml/coq-ott/META
ott.x86_64: E: zero-length /usr/lib64/ocaml/ott/META
ott.x86_64: W: unstripped-binary-or-object /usr/bin/ott
ott.x86_64: W: no-manual-page-for-binary ott
ott-devel.x86_64: W: no-documentation
ott.src: W: name-repeated-in-summary Ott
ott.x86_64: W: name-repeated-in-summary Ott
ott.src: W: invalid-license Ott
ott.x86_64: W: invalid-license Ott
ott-devel.x86_64: W: invalid-license Ott
ott.src: E: description-line-too-long Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics.
ott.x86_64: E: description-line-too-long Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics.
 3 packages and 0 specfiles checked; 4 errors, 8 warnings, 11 filtered, 4 badness; has taken 0.5 s