[Bug 892566] New: ghc-Agda-2.3.2 is available

List overview All Threads
Download

newer

older

[Bug 892588] New:...

[Bug 909140] New: darcs-2.8.4 is...

Red Hat Bugzilla

7 Jan 2013 7 Jan '13

10:55 a.m.

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566

Bug ID: 892566 Summary: ghc-Agda-2.3.2 is available Product: Fedora Version: rawhide Component: ghc-Agda Keywords: FutureFeature, Triaged Severity: unspecified Priority: unspecified Reporter: upstream-release-monitoring@fedoraproject.org

Latest upstream release: 2.3.2 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=i5dg30r5Iu&a=cc_unsubscribe

Show replies by date

Red Hat Bugzilla

8 Jan 8 Jan

6:58 a.m.

New subject: [Bug 892566] ghc-Agda-2.3.2 is available

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566

--- Comment #1 from Jens Petersen petersen@redhat.com --- *** 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

Red Hat Bugzilla

11 Mar 11 Mar

1:56 p.m.

New subject: [Bug 892566] ghc-Agda-2.3.2 is available

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard| |needs geniplate

-- 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=QcVENwZiaJ&a=cc_unsubscribe

Red Hat Bugzilla

2:06 p.m.

New subject: [Bug 892566] ghc-Agda-2.3.2 is available

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com 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

Red Hat Bugzilla

7 Jun 7 Jun

8:45 a.m.

New subject: [Bug 892566] ghc-Agda-2.3.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|needs geniplate |

-- 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=rRbksu0NCb&a=cc_unsubscribe

Red Hat Bugzilla

11 Jun 11 Jun

8:32 a.m.

New subject: [Bug 892566] ghc-Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

--- Comment #2 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- 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

Red Hat Bugzilla

9:45 a.m.

New subject: [Bug 892566] ghc-Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED

--- Comment #3 from Jens Petersen petersen@redhat.com --- committed to master for f20

-- 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=SIESz34OOL&a=cc_unsubscribe

Red Hat Bugzilla

18 Jun 18 Jun

7:09 a.m.

New subject: [Bug 892566] ghc-Agda-2.3.2.1 is available

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

-- 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

Red Hat Bugzilla

21 Jun 21 Jun

10:47 a.m.

New subject: [Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com changed:

-- 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=7YSTXtdAkU&a=cc_unsubscribe

Red Hat Bugzilla

10:54 a.m.

New subject: [Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com 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

Red Hat Bugzilla

10:57 a.m.

New subject: [Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Jens Petersen petersen@redhat.com changed:

--- Comment #4 from Jens Petersen petersen@redhat.com --- Built with ghc-7.6.3 for F20 Rawhide.

-- 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=9QGA9EgAWA&a=cc_unsubscribe

Red Hat Bugzilla

20 Aug 20 Aug

5:13 a.m.

New subject: [Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

--- Comment #5 from Fedora Update System updates@fedoraproject.org --- 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-3....

-- 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

Red Hat Bugzilla

12 Sep 12 Sep

2:51 a.m.

New subject: [Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566

Fedora Update System updates@fedoraproject.org changed:

--- Comment #6 from Fedora Update System updates@fedoraproject.org --- hledger-0.19.3-1.fc19, idris-0.9.8-3.fc19, darcs-2.8.4-1.fc19, ghc-haskeline-0.7.0.3-1.fc19, ghc-hledger-lib-0.19.3-1.fc19, Agda-2.3.2.1-5.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.

-- 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=hJ2CahMhRG&a=cc_unsubscribe

4014

Age (days ago)

4262

Last active (days ago)

haskell-devel@lists.fedoraproject.org

12 comments

1 participants

tags (0)

participants (1)

Red Hat Bugzilla