Latest upstream release: 0.6
Current version in Fedora Rawhide: 0.5.0.2
Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy
More information about the service that created this bug can be found at:
ghc-logict-0.6-1.fc17 has been submitted as an update for Fedora 17.
ghc-logict-0.6-1.fc18 has been submitted as an update for Fedora 18.
* should fix your issue,
* was pushed to the Fedora 18 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing ghc-logict-0.6-1.fc18'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
ghc-logict-0.6-1.fc20 also built for f20 rawhide.
ghc-logict-0.6-1.fc18 has been pushed to the Fedora 18 stable repository. If problems still persist, please make note of it in this bug report.
ghc-logict-0.6-1.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report.