[Bug 1164120] New: Agda-2.4.2.1 is available

List overview All Threads
Download

newer

older

[Bug 1081477] New:...

[Bug 1081471] New:...

Red Hat Bugzilla

14 Nov 2014 14 Nov '14

1:08 a.m.

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

Bug ID: 1164120 Summary: Agda-2.4.2.1 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.4.2.1 Current version/release in Fedora Rawhide: 2.3.2.2-5.fc22 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 Soon this service will be implemented by a new system: https://release-monitoring.org/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition.

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

Show replies by date

Red Hat Bugzilla

14 Nov 14 Nov

2:39 a.m.

New subject: [Bug 1164120] Agda-2.4.2.1 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard| |Agda-2.4.2.1:NG

--- Comment #1 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for Agda-2.4.2.1:

Failed to satisfy the following dependencies for Agda: QuickCheck >=2.7.5 && <2.8 STMonadTrans >=0.3.2 && <0.4 boxes >=0.1.3 && <0.2 data-hash ==0.2.0.0 equivalence >=0.2.5 && <0.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=SXr6Zw0H2r&a=cc_unsubscribe

Red Hat Bugzilla

5 Dec 5 Dec

1:58 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

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

What |Removed |Added ---------------------------------------------------------------------------- Summary|Agda-2.4.2.1 is available |Agda-2.4.2.2 is available

--- Comment #2 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 2.4.2.2 Current version/release in Fedora Rawhide: 2.3.2.2-5.fc22 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

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

Red Hat Bugzilla

8 Dec 8 Dec

10:44 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|Agda-2.4.2.1:NG |Agda-2.4.2.2:NG

--- Comment #3 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for Agda-2.4.2.2:

Failed to satisfy the following dependencies for Agda: QuickCheck >=2.7.5 && <2.8 STMonadTrans >=0.3.2 && <0.4 boxes >=0.1.3 && <0.2 data-hash ==0.2.0.0 equivalence >=0.2.5 && <0.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=jR39J2upMu&a=cc_unsubscribe

Red Hat Bugzilla

27 Feb 27 Feb

1:42 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #4 from Jens Petersen petersen@redhat.com --- *** Bug 1105104 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=3UpCBKweaH&a=cc_unsubscribe

Red Hat Bugzilla

1:43 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1081471

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1081471 [Bug 1081471] ghc-QuickCheck-2.7.6 is available

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

Red Hat Bugzilla

1:49 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1062176

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1062176 [Bug 1062176] cpphs-1.18.9 is available

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

Red Hat Bugzilla

2 Mar 2 Mar

3:02 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #5 from Jens Petersen petersen@redhat.com --- Cabal doesn't catch this until buildtime but this also needs newer cpphs.

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

Red Hat Bugzilla

3:51 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1197640

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1197640 [Bug 1197640] Review Request: ghc-equivalence - Maintaining an equivalence relation implemented as union-find using STT

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

Red Hat Bugzilla

3:54 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1197641

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1197641 [Bug 1197641] Review Request: ghc-boxes - 2D text pretty-printing library

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

Red Hat Bugzilla

3:55 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1197642

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1197642 [Bug 1197642] Review Request: ghc-data-hash - Combinators for building fast hashing functions

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

Red Hat Bugzilla

13 Mar 13 Mar

12:02 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1164120 Bug 1164120 depends on bug 1197640, which changed state.

Bug 1197640 Summary: Review Request: ghc-equivalence - Equivalence relations implemented with union-find https://bugzilla.redhat.com/show_bug.cgi?id=1197640

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

Red Hat Bugzilla

12:07 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1164120 Bug 1164120 depends on bug 1197641, which changed state.

Bug 1197641 Summary: Review Request: ghc-boxes - 2D text pretty-printing library https://bugzilla.redhat.com/show_bug.cgi?id=1197641

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

Red Hat Bugzilla

12:17 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1164120 Bug 1164120 depends on bug 1197642, which changed state.

Bug 1197642 Summary: Review Request: ghc-data-hash - Combinators for building fast hashing functions https://bugzilla.redhat.com/show_bug.cgi?id=1197642

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

Red Hat Bugzilla

3 Apr 3 Apr

8:30 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #6 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- petersen's Agda-2.4.2.2-1.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=625852

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

Red Hat Bugzilla

16 Apr 16 Apr

4:37 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #7 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- petersen's Agda-2.4.2.2-2.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628779

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

Red Hat Bugzilla

17 Apr 17 Apr

12:03 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #8 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- petersen's Agda-2.4.2.2-3.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628964

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

Red Hat Bugzilla

19 Apr 19 Apr

11:06 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |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=AOykVMmBS9&a=cc_unsubscribe

Red Hat Bugzilla

11:06 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

--- Comment #9 from Fedora Update System updates@fedoraproject.org --- alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22 has been submitted as an update for Fedora 22. https://admin.fedoraproject.org/updates/Agda-2.4.2.2-3.fc22,alex-3.1.4-1.fc2...

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

Red Hat Bugzilla

21 Apr 21 Apr

2:34 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

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

--- Comment #10 from Fedora Update System updates@fedoraproject.org --- Package alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22, haskell-platform-2014.2.0.0.2-3.fc22, git-annex-5.20140717-6.fc22, Agda-stdlib-0.9-1.fc22: * should fix your issue, * was pushed to the Fedora 22 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing alex-3.1.4-1.fc22 cabal-install-1.18.0.8-1.fc22 happy-1.19.5-1.fc22 hlint-1.9.10-1.fc22 ghc-derive-2.5.22-1.fc22 ghc-hgettext-0.1.30-7.fc22 ghc-language-ecmascript-0.15.2-6.fc22 ghc-QuickCheck-2.7.6-1.fc22 Agda-2.4.2.2-3.fc22 bustle-0.4.8-1.fc22 cpphs-1.18.9-1.fc22 idris-0.9.9.1-5.fc22 ghc-arrows-0.4.4.1-8.fc22 ghc-haskell-src-exts-1.16.0.1-1.fc22 ghc-IOSpec-0.2.5-9.fc22 ghc-language-java-0.2.7-2.fc22 ghc-Stream-0.4.7.2-1.fc22 haskell-platform-2014.2.0.0.2-3.fc22 git-annex-5.20140717-6.fc22 Agda-stdlib-0.9-1.fc22' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2015-6562/Agda-2.4.2.2-3.fc22... 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=vsRz6mDYvZ&a=cc_unsubscribe

Red Hat Bugzilla

26 Apr 26 Apr

7:57 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Fedora Update System updates@fedoraproject.org changed:

--- Comment #11 from Fedora Update System updates@fedoraproject.org --- alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22, haskell-platform-2014.2.0.0.2-3.fc22, git-annex-5.20140717-6.fc22, Agda-stdlib-0.9-1.fc22 has been pushed to the Fedora 22 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=lkvrQmYNu9&a=cc_unsubscribe

Red Hat Bugzilla

10:08 p.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

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

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Fixed In Version|alex-3.1.4-1.fc22 |Agda-2.4.2.2-3.fc22

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

Red Hat Bugzilla

14 Jul 14 Jul

5:32 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1164120 Bug 1164120 depends on bug 1062176, which changed state.

Bug 1062176 Summary: cpphs-1.20.1 is available https://bugzilla.redhat.com/show_bug.cgi?id=1062176

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

5:32 a.m.

New subject: [Bug 1164120] Agda-2.4.2.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1164120 Bug 1164120 depends on bug 1081471, which changed state.

Bug 1081471 Summary: ghc-QuickCheck-2.8.2 is available https://bugzilla.redhat.com/show_bug.cgi?id=1081471

-- You are receiving this mail because: You are on the CC list for the bug.

3212

Age (days ago)

3820

Last active (days ago)

haskell-devel@lists.fedoraproject.org

23 comments

1 participants

tags (0)

participants (1)

Red Hat Bugzilla