[I forgot to send this final update mail on ghc-7.10.3 for F25, which is already released]
[Sending this now just for the record]

Final update on f25:

On Fri, Sep 9, 2016 at 1:22 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:
On Wed, Jul 20, 2016 at 7:25 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:
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:

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

I am thinking to move Agda to Copr (with a new tool/extension to be written), but i might still do the subpackaging for F25.
 

Needs: http-conduit and time-locale-compat

Built for rawhide with time-locale-compat subpackage.

Built now also for f25
 
ghc-happstack-server


Needs: time-compat

Built for rawhide with time-compat subpackage. 

Built for f25

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

Built for rawhide with subpackages.

built for f25
 
ghc-hledger-lib -> hledger


Needs: base-compat, mtl-compat, uglymemo

Built for rawhide

built for f25
 

Needs: lifted-async

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


Built with time-compat subpackage

built for f25 
 
ghc-warp -> ghc-scotty*


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

warp built for f25 and rawhide with subpackaging
 
idris*

It would be nice to keep idris

Though I have a copr repo with latest idris anyway.

Relunctantly retired from F25+ yesterday, I decided not to subpackage all of lens etc. ;o)


Jens