summary refs log tree commit diff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorWilko Meyer <w@wmeyer.eu>2024-01-16 18:11:22 +0100
committerLeo Famulari <leo@famulari.name>2024-01-18 10:13:35 -0500
commitfe3e9a02be842274462907c71a2db6c1f32d049b (patch)
treeeeed0a8b4f61c088795365a61f2573e35c8baa04 /gnu/packages/idris.scm
parent1a2a4d242e2db37d29c18ae92e290ed844e5a8c9 (diff)
downloadguix-fe3e9a02be842274462907c71a2db6c1f32d049b.tar.gz
gnu: linux-libre 5.15: Update to 5.15.147.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.147.
(linux-libre-5.15-pristine-source): Update hashes.

Change-Id: I88c1a8ac970334bf29bceeef20aab193ab3ef4f6
Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions