diff options
| author | Leo Famulari <leo@famulari.name> | 2022-01-02 23:25:18 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2022-01-26 13:17:41 -0500 |
| commit | 44c2211c6464b96c253ccb5e875043c63a51a6c1 (patch) | |
| tree | 2e2618cd299c681902fa8a49f51154b4928afcba /gnu/packages/lean.scm | |
| parent | 16ce73d87f664b2a539c2264671fddc2077f6ecc (diff) | |
| download | guix-44c2211c6464b96c253ccb5e875043c63a51a6c1.tar.gz | |
gnu: Add linux-libre 5.16.2.
* gnu/packages/aux-files/linux-libre/5.16-arm.conf, gnu/packages/aux-files/linux-libre/5.16-arm64.conf, gnu/packages/aux-files/linux-libre/5.16-i686.conf, gnu/packages/aux-files/linux-libre/5.16-x86_64.conf : New files. * Makefile.am (AUX_FILES): Add them. * gnu/packages/linux.scm (linux-libre-5.16-version, linux-libre-5.16-gnu-revision, deblob-scripts-5.16, linux-libre-5.16-pristine-source, linux-libre-5.16-source, linux-libre-headers-5.16, linux-libre-5.16): New variables.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions