[Bug 1025141] New: Agda-2.3.2.2 is available

List overview All Threads
Download

newer

older

[Bug 1038068] New: build...

[Bug 1048770] New:...

Red Hat Bugzilla

31 Oct 2013 31 Oct '13

5:54 a.m.

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

Bug ID: 1025141 Summary: Agda-2.3.2.2 is available Product: Fedora Version: rawhide Component: Agda Keywords: FutureFeature, Triaged Assignee: petersen@redhat.com Reporter: upstream-release-monitoring@fedoraproject.org QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@redhat.com

Latest upstream release: 2.3.2.2 Current version/release in Fedora Rawhide: 2.3.2.1-5.fc21 URL: http://hackage.haskell.org/package/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=qTIi1G68cp&a=cc_unsubscribe

Show replies by date

Red Hat Bugzilla

3 Jan 3 Jan

1:17 p.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard| |f21

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

Red Hat Bugzilla

13 Jan 13 Jan

2:48 p.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

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

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

Red Hat Bugzilla

15 Jan 15 Jan

7:02 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |MODIFIED

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

Red Hat Bugzilla

7:02 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

--- Comment #1 from Fedora Update System updates@fedoraproject.org --- Agda-2.3.2.2-1.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/Agda-2.3.2.2-1.fc20

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

Red Hat Bugzilla

7:12 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

--- Comment #2 from Jens Petersen petersen@redhat.com --- The actual code changes are minimal though for Linux.

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

Red Hat Bugzilla

7:12 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|f21 |

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

Red Hat Bugzilla

16 Jan 16 Jan

7:15 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA

--- Comment #3 from Fedora Update System updates@fedoraproject.org --- Package Agda-2.3.2.2-1.fc20: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing Agda-2.3.2.2-1.fc20' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-1.fc20 then log in and leave karma (feedback).

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

Red Hat Bugzilla

22 Jan 22 Jan

2:57 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |MODIFIED

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

Red Hat Bugzilla

11:04 p.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA

--- Comment #4 from Fedora Update System updates@fedoraproject.org --- Package Agda-2.3.2.2-2.fc20: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing Agda-2.3.2.2-2.fc20' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-2.fc20 then log in and leave karma (feedback).

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

Red Hat Bugzilla

4 Feb 4 Feb

2:50 a.m.

New subject: [Bug 1025141] Agda-2.3.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

--- Comment #5 from Fedora Update System updates@fedoraproject.org --- Agda-2.3.2.2-2.fc20 has been pushed to the Fedora 20 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=g1YyOozGBH&a=cc_unsubscribe

3800

Age (days ago)

3896

Last active (days ago)

haskell-devel@lists.fedoraproject.org

10 comments

1 participants

tags (0)

participants (1)

Red Hat Bugzilla