[Bug 839260] Review Request: Agda-stdlib - Agda standard library

[bugzilla at redhat.com]

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

--- Comment #3 from Jens Petersen <petersen at redhat.com> ---
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.