Andreas Enge 6bd2a77b7b gnu: Remove (gnu packages idris). ...

* gnu/packages/idris.scm: Remove file.
* gnu/local.mk (GNU_SYSTEM_MODULES), po/packages/POTFILES.in: Unregister file.

Fixes: guix/guix#4391
Change-Id: I03f0eb98456fd478c91cfe45c2334fb947a33229

2026-01-05 16:52:35 +01:00

..

bootloader

…

build

build/dbus-service: Fix possible syntax error in 'with-retries'.

2025-12-30 22:42:06 +09:00

home

Update Giacomo's email address.

2025-12-03 14:38:09 +09:00

installer

…

machine

…

packages

gnu: Remove (gnu packages idris).

2026-01-05 16:52:35 +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: Remove (gnu packages idris).

2026-01-05 16:52:35 +01: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

…