Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=909145 --- Comment #1 from Jens Petersen <petersen(a)redhat.com&gt; --- Agda needs 1.0. -- 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=2mPGIoHcZ5&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|Agda needs 1.0 |Agda-2.3.2 needs 1.0 -- 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=qtli3ew0F2&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|ghc-hashtables-1.1.0.2 is |ghc-hashtables-1.1.2.0 is |available |available --- Comment #2 from Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt; --- Latest upstream release: 1.1.2.0 Current version/release in Fedora Rawhide: 1.0.1.8-4.fc20 URL: http://hackage.haskell.org/package/hashtables 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=ugDLgSnVoo&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|Agda-2.3.2.1 needs 1.0 |f21 --- Comment #4 from Jens Petersen <petersen(a)redhat.com&gt; --- Agda-2.3.2.2 is okay -- 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=0oD6hnMIh1&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|f21 |f21:ok -- 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=B9Dn5Z487X&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|f21:ok | -- 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=0zmNZbyi4s&a=cc_unsubscribe

https://bugzilla.redhat.com/show_bug.cgi?id=909145 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Status|POST |CLOSED Fixed In Version| |F22 Resolution|--- |RAWHIDE Last Closed| |2015-02-07 18:04:44 -- 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=0zHzKBwoWH&a=cc_unsubscribe