diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-07-01 17:24:33 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-07-02 01:06:31 +0200 |
| commit | 1290855490baf03944dc85d8353c2b8cedac5256 (patch) | |
| tree | c7e6f07402f849cce68fd5f0e3383720936eca55 /gnu/local.mk | |
| parent | 742f2deaa385e45e08264c6e41f2929e87319f66 (diff) | |
| download | guix-1290855490baf03944dc85d8353c2b8cedac5256.tar.gz | |
gnu: linux-libre-headers: Update to 4.19.56.
* gnu/packages/linux.scm (linux-libre-headers-4.14.67): Rename to ... (linux-libre-headers-4.19.56): ... this. Adjust hash accordingly. (linux-libre-headers): Set to LINUX-LIBRE-HEADERS-4.19.56. * gnu/packages/commencement.scm (linux-libre-headers-boot0)[native-inputs]: Add FLEX-BOOT0 and BISON-BOOT0.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions