[Bug 2314358] Review Request: idris2 - Purely functional programming language with first class types

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

 



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



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

Review template:
https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2314358-idris2/fedora-rawhide-x86_64/08064021-idris2/fedora-review/review.txt

Found issues:

- idris2 : /usr/lib64/idris2-0.7.0/support/c/getline.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_directory.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_file.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_memory.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_net.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_signal.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_support.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_system.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_term.h idris2 :
/usr/lib64/idris2-0.7.0/support/c/idris_util.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/_datatypes.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/buffer.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/cBackend.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/casts.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/clock.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/conCaseHelper.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/mathFunctions.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/memoryManagement.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/prim.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/refc_util.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/runtime.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/stringOps.h idris2 :
/usr/lib64/idris2-0.7.0/support/refc/threads.h idris2-docs :
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue/idris_readline.h 
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#_devel_packages
- Unversioned so-files directly in %_libdir.
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#_devel_packages
- Package has .a files: idris2. Illegal package name: idris2. Does not provide
-static: idris2.
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#packaging-static-libraries
- Documentation size is 3032712 bytes in 188 files. 
  Read more:
https://docs.fedoraproject.org/en-US/packaging-guidelines/#_documentation

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=2314358

Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202314358%23c1

-- 
_______________________________________________
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