https://bugzilla.redhat.com/show_bug.cgi?id=1196960
Jens Petersen <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|unspecified |medium CC| |[email protected] | |roject.org Blocks| |1081471 Severity|unspecified |medium --- Comment #2 from Jens Petersen <[email protected]> --- This is needed for QuickCheck-2.7 which in terms is needed to build recent Agda with ghc-7.8. Referenced Bugs: https://bugzilla.redhat.com/show_bug.cgi?id=1081471 [Bug 1081471] ghc-QuickCheck-2.7.6 is available -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
