Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903588
--- Comment #2 from Fedora Update System updates@fedoraproject.org --- ghc-logict-0.6-1.fc18 has been submitted as an update for Fedora 18. https://admin.fedoraproject.org/updates/ghc-logict-0.6-1.fc18