Andreas Enge f9e92222d9 gnu: Remove idris-lightyear. ...

* gnu/packages/idris.scm (idris-lightyear): Delete variable.

Change-Id: I8acc2c3c6dd02edff64968f2d676dea5ed481319

2026-01-05 16:47:28 +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-lightyear.

2026-01-05 16:47:28 +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

…