On Mon, Jul 11, 2016 at 5:51 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:

On Tue, Jun 28, 2016 at 2:50 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:

Agda*

(dep bounds)
update bug: https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Needs: EdisonCore -> EdisonAPI; geniplate-mirror; monadplus

ghc-hakyll

bounds and missing snap
https://bugzilla.redhat.com/show_bug.cgi?id=1096609

Needs: http-conduit and time-locale-compat

ghc-happstack-server

time issue and bounds
https://bugzilla.redhat.com/show_bug.cgi?id=1153948

Needs: time-compat

ghc-hashed-storage -> darcs*

does not compile

newer versions of darcs do not use it:
https://bugzilla.redhat.com/show_bug.cgi?id=1213187

I think it would be good to keep darcs in Fedora still

Needs: data-ordlist, graphviz, regex-applicative, regex-compat-tdfa, sandi

ghc-hledger-lib -> hledger

type issues
https://bugzilla.redhat.com/show_bug.cgi?id=1202163

Needs: base-compat, mtl-compat, uglymemo

ghc-shelly*

Alternative error
https://bugzilla.redhat.com/show_bug.cgi?id=1080813

Needs: lifted-async

 

ghc-snap-core -> ghc-snap-server

time and bounds
https://bugzilla.redhat.com/show_bug.cgi?id=1208326

ghc-warp -> ghc-scotty*

type problem
https://bugzilla.redhat.com/show_bug.cgi?id=976980

Needs: auto-update, bytestring-builder, http2, iproute

idris*

Appl/Alt types
https://bugzilla.redhat.com/show_bug.cgi?id=999011

It would be nice to keep idris

Though I have a copr repo with latest idris anyway.