diff options
| author | Leo Famulari <leo@famulari.name> | 2022-04-13 21:02:00 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2022-04-14 10:22:54 -0400 |
| commit | 1b7f05f72cd57980e5292b7f0772d65e76e4fc48 (patch) | |
| tree | 33cce1cd41e8fd87a40fce3c1057695c0f1c95fe /gnu/packages/lean.scm | |
| parent | 0a3fee824b4b26561c6a2bf136db59e8fbdb8860 (diff) | |
| download | guix-1b7f05f72cd57980e5292b7f0772d65e76e4fc48.tar guix-1b7f05f72cd57980e5292b7f0772d65e76e4fc48.tar.gz | |
gnu: linux-libre: Update to 5.16.20.
* gnu/packages/linux.scm (linux-libre-5.16-version): Update to 5.16.20.
(linux-libre-5.16-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions