Spec URL: http://petersen.fedorapeople.org/reviews/ghc-filemanip/ghc-filemanip.spec SRPM URL: http://petersen.fedorapeople.org/reviews/ghc-filemanip/ghc-filemanip-0.3.5.2-1.fc17.src.rpm Description: A Haskell library for working with files and directories. Fedora Account System Username: petersen This is needed to compile Agda's stdlib.
Koji build http://koji.fedoraproject.org/koji/taskinfo?taskID=4232727
Actually this only needed for Agda-stdlib development I think, to generate "Everything" but it is also generated in the src tarball.