https://bugzilla.redhat.com/show_bug.cgi?id=833706
--- Comment #2 from Fedora Update System updates@fedoraproject.org --- leksah-0.12.1.2-1.fc17,leksah-server-0.12.1.2-1.fc17,ghc-ltk-0.12.1.0-2.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/leksah-0.12.1.2-1.fc17,leksah-server...