Leo Famulari 1de25bd7e9 gnu: linux-libre 5.15: Update to 5.15.139. ... * gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.139. (linux-libre-5.15-pristine-source): Update hash. Change-Id: I664fdafc4e1f60eedb24935a8cda49c3168bfc5a		2023-07-23 22:26:06 -04:00
..
bootloader
build
home	home: services: Add 'x11-display' service.	2023-11-05 23:23:23 +01:00
installer
machine
packages	gnu: linux-libre 5.15: Update to 5.15.139.	2023-07-23 22:26:06 -04:00
services
system
tests	tests: inetd: Avoid race condition when looking for PID file.	2023-11-05 23:23:23 +01:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm
local.mk	gnu: agda-categories: Adapt to agda-stdlib 1.7.3.	2023-11-14 13:47:10 +01:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm	tests: Honor system and target when lowering <system-test>.	2023-11-05 23:23:23 +01:00