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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



--- Comment #17 from Fedora Review Service <fedora-review-bot@xxxxxxxxxxxxxxxxx> ---
Copr build:
https://copr.fedorainfracloud.org/coprs/build/7543712
(succeeded)

Review template:
https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2277910-lean4/fedora-rawhide-x86_64/07543712-lean4/fedora-review/review.txt

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-static-libraries

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 always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2277910

Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202277910%23c17
--
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux