guix/etc/manifests
Efraim Flashner aaff81ec54
etc: manifests: Remove idris.
This is a follow-up to e89d3a0857.

* etc/manifests/release-user-packages.scm: Remove idris.

Change-Id: I16818ab856bdf72737112bed9d8a92817b48db2a
2026-01-13 10:24:35 +02:00
..
cross-compile.scm services: xorg: Return only supported packages in %default-xorg-modules. 2025-12-22 23:00:41 +01:00
disarchive.scm
hurd.scm
kernels.scm
release-desktop.scm manifests: Split release manifest to two. 2025-11-23 10:52:25 +02:00
release-minimal.scm manifests: Split release manifest to two. 2025-11-23 10:52:25 +02:00
release-user-packages.scm etc: manifests: Remove idris. 2026-01-13 10:24:35 +02:00
source.scm
system-tests.scm gexp: ‘with-parameters’ properly handles ‘%graft?’. 2025-03-05 00:28:49 +01:00
time-travel.scm gexp: ‘with-parameters’ properly handles ‘%graft?’. 2025-03-05 00:28:49 +01:00
ungraft.scm
upgrade.scm