[Bug 2277910] Review Request: lean4 - Functional programming language and theorem prover

https://bugzilla.redhat.com/show_bug.cgi?id=2277910



--- Comment #14 from Fedora Review Service <fedora-review-bot(a)fedoraproject.org&gt;
---
Copr build:
https://copr.fedorainfracloud.org/coprs/build/7454612
(succeeded)

Review template:
https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-...

Found issues:

- lean4 : /usr/lib64/lean4/include/lean/config.h lean4 :
/usr/lib64/lean4/include/lean/lean.h lean4 :
/usr/lib64/lean4/include/lean/lean_gmp.h lean4 :
/usr/lib64/lean4/include/lean/version.h 
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#_devel_packages
- Package has .a files: lean4. Illegal package name: lean4. Does not provide
-static: lean4.
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#packaging-stat...

Please know that there can be false-positives.

---
This comment was created by the fedora-review-service
https://github.com/FrostyX/fedora-review-service

If you want to trigger a new Copr build, add a comment containing new
Spec and SRPM URLs or [fedora-review-service-build] string.


-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2277910

Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=rep...