On Mon, Mar 06, 2017 at 11:14:37AM +0100, Ludovic Courtès wrote:
> Any idea how many packages aside from GRUB are affected?  Would it work
> to simply provide the old Flex in addition to the new one, and have GRUB
> use it?

I don't have a good idea yet. When reconfiguring my headless GuixSD
system based on core-updates, the only affected package was GRUB, but
that system doesn't have many packages installed on it.

I added flex-2.6.1 and made GRUB use it in
af50d389c5ceaf978182c8d783a4d0e76c56655f.