[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: core-updates: flex is broken [was: GRUB fails to build]
|
From: |
Ludovic Courtès |
|
Subject: |
Re: core-updates: flex is broken [was: GRUB fails to build] |
|
Date: |
Wed, 08 Mar 2017 09:42:14 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Leo Famulari <address@hidden> skribis:
> 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.
Great, thanks!
Ludo’.