On Thu, 10 Aug 2017 16:11:07 +0000 (UTC)
Gianfranco Costamagna <locutusofb...@debian.org> wrote:
> >Hmmm... the gcc packages involved (gcc 4.9.2-4 and gcc-5 5.2.1-23) are
> definitely newer than Jessie -- I would think that means they're
> "technically" Stretch, but I'm not too clear on debian >policies.
> patching gcc is easier than patching everything else :)
I think you're still misunderstanding me...
I'm not saying we should fix ghc so that it works with old versions of gcc.
I'm saying we should fix ghc (the deb package) so it refuses to install
(conflicts) with old versions of gcc.
> (I'm not saying I won't sponsor such change, but just I don't think this
> is worth the effort)
Okay, I'll take this to mean that if I submit a working/useful patch, you'll
apply it. I'll get to work on that.