[Bug 1594765] Review Request: idris - Functional Programming Language with Dependent Types

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

 



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



--- Comment #6 from Jens Petersen <petersen@xxxxxxxxxx> ---
Okay I think I have fixed the html file permissions.
Also I improved the packaging with noarch manual and libs subpackages.

Spec: http://petersen.fedorapeople.org/reviews/idris/idris.spec
SRPM: http://petersen.fedorapeople.org/reviews/idris/idris-1.3.0-3.fc28.src.rpm

There are still some warnings like:

idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/base/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/contrib/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/effects/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/prelude/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/pruviloj/IdrisDoc
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/arduino/idris_main.c
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/getline.h
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/idris_bitstring.c

Though I don't feel they are so serious.

https://koji.fedoraproject.org/koji/taskinfo?taskID=27939942

-- 
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
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx/message/CYAL5URUYAEK4CQ3ONAN2AMCTHGGL3SC/




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

  Powered by Linux