Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566 --- Comment #1 from Jens Petersen <petersen(a)redhat.com&gt; --- *** Bug 875752 has been marked as a duplicate of this bug. *** -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=J5dqfDCxAe&a=cc_unsubscribe

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On| |920174 -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=cmzv95ZCmS&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=892566 Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|ghc-Agda-2.3.2 is available |ghc-Agda-2.3.2.1 is | |available --- Comment #2 from Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt; --- Latest upstream release: 2.3.2.1 Current version in Fedora Rawhide: 2.3.0.1 URL: http://hackage.haskell.org/packages/archive/Agda/ 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: https://fedoraproject.org/wiki/Upstream_release_monitoring -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=nZpLlZkRbU&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=892566 Bug 892566 depends on bug 920174, which changed state. Bug 920174 Summary: Review Request: ghc-geniplate - Use template Haskell to generate Uniplate-like functions https://bugzilla.redhat.com/show_bug.cgi?id=920174 What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=F3HZb8NFm3&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=892566 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Component|ghc-Agda |Agda -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=hFhdOCV3Ar&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=892566 --- Comment #5 from Fedora Update System <updates(a)fedoraproject.org&gt; --- hledger-0.19.3-1.fc19,idris-0.9.8-3.fc19,darcs-2.8.4-1.fc19,Agda-2.3.2.1-1.fc19,ghc-haskeline-0.7.0.3-1.fc19,ghc-hledger-lib-0.19.3-1.fc19 has been submitted as an update for Fedora 19. https://admin.fedoraproject.org/updates/hledger-0.19.3-1.fc19,idris-0.9.8... -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=SWSUo0IroQ&a=cc_unsubscribe