On Wed, Feb 22, 2023 at 10:37:41AM +0100, Andreas Enge wrote:
> Hello Lars,
> 
> Am Wed, Feb 15, 2023 at 11:38:23AM +0100 schrieb zimoun:
> > Feel free to merge. :-)
> 
> +1, please go ahead!
> 
> By the way, when building pandoc for my core-updates profile, I noticed
> that ghc bootstrapping takes a terribly long time. Might there be a fleeting
> chance to jump over some older releases?

I believe in core-updates I've changed it so we go from 8.6 to 8.10. I
think if we packaged 8.2 we could go from 7.10 -> 8.2 -> 8.6 -> 8.10,
using 8.2 to replace 8.0 and 8.4.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted