Leo Famulari 875cc9e31f gnu: linux-libre 5.10: Update to 5.10.201. ... * gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.201. (linux-libre-5.10-pristine-source): Update hash. Change-Id: Ib578c3d98294d08be248326ef66c31cdfb927805		2023-07-23 22:26:07 -04:00
..
bootloader
build
home
installer
machine
packages	gnu: linux-libre 5.10: Update to 5.10.201.	2023-07-23 22:26:07 -04:00
services
system
tests
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