https://bugzilla.redhat.com/show_bug.cgi?id=1019215
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|POST |MODIFIED
--- Comment #7 from Jens Petersen <petersen(a)redhat.com> ---
(In reply to Jens Petersen from comment #6)
> Anyway currently various libs still need websockets-0.7 though
> so it is probably still ok to have this package in Fedora
> though it may not be so long used.
> http://packdeps.haskellers.com/reverse/websockets
By now nearly all websocket consumers have moved to requiring 0.8.
Apologies again for the wasted effort but I think I will close
this soon as deferred since it looks like this library is not
needed in Fedora any more, unless some new important consumer
of this packages appears soon.
--
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=TkHpMMgivR&a=cc_unsubscribe
https://bugzilla.redhat.com/show_bug.cgi?id=1038087
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|POST |MODIFIED
--- Comment #7 from Jens Petersen <petersen(a)redhat.com> ---
Built for F21 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=LULe3xKVWj&a=cc_unsubscribe
https://bugzilla.redhat.com/show_bug.cgi?id=1035543
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|POST |MODIFIED
--- Comment #7 from Jens Petersen <petersen(a)redhat.com> ---
Built for f21 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=eRq2NotWLY&a=cc_unsubscribe
https://bugzilla.redhat.com/show_bug.cgi?id=1038068
Bug ID: 1038068
Summary: build requirement ghc-geniplate not available on PPC64
Product: Fedora
Version: 20
Component: Agda
Severity: high
Priority: medium
Assignee: petersen(a)redhat.com
Reporter: karsten(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: haskell-devel(a)lists.fedoraproject.org,
petersen(a)redhat.com
Description of problem:
ghc-geniplate has an exclusivearch %{ghc_arches_with_ghci} which means that it
isn't available on PPC64, only on PPC.
If Agda doesn't build without ghc-geniplate, it needs to have the same
exclusivearchs as ghc-geniplate, otherwise builds in secondary arch will always
fail.
Version-Release number of selected component (if applicable):
Agda-2.3.2.1-5.fc20
How reproducible:
always
Steps to Reproduce:
1. ppc-koji build --scratch f20 Agda-2.3.2.1-5.fc20.src.rpm
2.
3.
Actual results:
Expected results:
Additional info:
--
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=Ny0WzVOoQs&a=cc_unsubscribe