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(a)redhat.com
Reporter: upstream-release-monitoring(a)fedoraproject.org
QA Contact: extras-qa(a)fedoraproject.org
CC: haskell-devel(a)lists.fedoraproject.org,
petersen(a)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
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(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Whiteboard| |Agda-2.4.2.1:NG
--- Comment #1 from Jens Petersen <petersen(a)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
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(a)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(a)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
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=4s6PPIFvwf&a=cc_unsubscribe
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(a)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(a)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
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(a)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
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(a)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
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(a)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
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(a)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
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(a)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
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(a)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
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(a)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
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
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=cWPf67ZFMS&a=cc_unsubscribe
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
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=hGtQ08nCPb&a=cc_unsubscribe
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
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=emR0ZV7pvH&a=cc_unsubscribe
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(a)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
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(a)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
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(a)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
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(a)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
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(a)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....
--
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
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(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|MODIFIED |ON_QA
--- Comment #10 from Fedora Update System <updates(a)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.f...
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
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(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ON_QA |CLOSED
Fixed In Version| |alex-3.1.4-1.fc22
Resolution|--- |ERRATA
Last Closed| |2015-04-26 08:57:35
--- Comment #11 from Fedora Update System <updates(a)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
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(a)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
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
What |Removed |Added
----------------------------------------------------------------------------
Status|POST |CLOSED
Resolution|--- |RAWHIDE
--
You are receiving this mail because:
You are on the CC list for the bug.
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
What |Removed |Added
----------------------------------------------------------------------------
Status|POST |CLOSED
Resolution|--- |RAWHIDE
--
You are receiving this mail because:
You are on the CC list for the bug.
2881
days inactive
3489
days old
haskell-devel@lists.fedoraproject.org
23 comments
1 participants
participants (1)
-
Red Hat Bugzilla