https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #3 from Jens Petersen <petersen@xxxxxxxxxx> --- Strictly Agda-stdlib could be noarch since based from Debian the files should be portable, but the ffi library can't be noarch. Anyway I moved the stdlib files to datadir and subpackaged the large html docs: Spec: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.6-4.fc17.src.rpm -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review