https://bugzilla.redhat.com/show_bug.cgi?id=1104579
--- Comment #5 from Jens Petersen petersen@redhat.com --- Thanks, updated - sorry for the delay
Spec: http://petersen.fedorapeople.org/reviews/ghc-ieee754/ghc-ieee754.spec SRPM: http://petersen.fedorapeople.org/reviews/ghc-ieee754/ghc-ieee754-0.8.0-1.fc2...