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

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

--- Comment #6 from Jens Petersen  ---
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