Andreas Enge cee82b7fbf gnu: Remove idris-lens. ... * gnu/packages/idris.scm (idris-lens): Delete variable. Change-Id: I53eb1218e44a5cd595d63cf4813d0b43e3ecf7c3		2026-01-05 16:47:18 +01:00
..
bootloader
build	build/dbus-service: Fix possible syntax error in 'with-retries'.	2025-12-30 22:42:06 +09:00
home
installer
machine
packages	gnu: Remove idris-lens.	2026-01-05 16:47:18 +01:00
services	gnu: services: Fix xorg configuration merging.	2026-01-01 13:26:02 +02:00
system	system: images: Add A20-OLinuXino-LIME2 image.	2026-01-01 01:06:14 +01:00
tests	tests: Add Fedora foreign distribution test.	2025-12-28 12:38:29 +01:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm	installer: Drop uri from provenance log.	2025-12-22 23:00:46 +01:00
local.mk	gnu: freerdp: Update to 3.20.0.	2026-01-04 13:03:40 +02:00
machine.scm
packages.scm
services.scm
system.scm	system: operating-system-etc-service: Unset GUIX_PROFILE.	2026-01-04 12:13:29 +01:00
tests.scm