gnu: linux-libre-headers: Update to 4.19.56.
authorMarius Bakke <mbakke@fastmail.com>
Mon, 1 Jul 2019 15:24:33 +0000 (17:24 +0200)
committerMarius Bakke <mbakke@fastmail.com>
Mon, 1 Jul 2019 23:06:31 +0000 (01:06 +0200)
commit1290855490baf03944dc85d8353c2b8cedac5256
treec7e6f07402f849cce68fd5f0e3383720936eca55
parent742f2deaa385e45e08264c6e41f2929e87319f66
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.
gnu/packages/commencement.scm
gnu/packages/linux.scm