diff options
author | Carl Dong <accounts@carldong.me> | 2019-05-29 18:04:43 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-05-29 18:19:16 +0200 |
commit | a15cee50cebddc665a16b455f44e22dcfb87d57f (patch) | |
tree | d68ec0eefb01ec7e07b95b195018b0390bbc4f1e /etc | |
parent | 2ea77d48a739eb289f2472d2c30c37a30bbcb571 (diff) | |
download | guix-a15cee50cebddc665a16b455f44e22dcfb87d57f.tar.gz guix-a15cee50cebddc665a16b455f44e22dcfb87d57f.zip |
gnu: Use make-linux-libre-headers.
* gnu/packages/linux.scm (make-linux-libre-headers): New variable.
(linux-libre): Rename to...
(linux-libre-5.1): ...this.
(linux-libre-headers): Rename to...
(linux-libre-headers-4.14.67): ...this.
(linux-libre-5.1, linux-libre-headers-4.14.67): Use make-linux-libre-headers.
(linux-libre-5.1, linux-libre-headers-5.1, linux-libre-headers-4.19,
%linux-libre-4.15-version, %linux-libre-4.15-hash, linux-libre-4.15,
linux-libre-headers-4.15, linux-libre-headers-4.14): New variables.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions