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

etc: Move manifests to a separate directory.

2024-12-12 23:23:33 +01:00

hurd.scm

etc: Move manifests to a separate directory.

2024-12-12 23:23:33 +01:00

kernels.scm

etc: Move manifests to a separate directory.

2024-12-12 23:23:33 +01:00

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

etc: Move manifests to a separate directory.

2024-12-12 23:23:33 +01:00

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

etc: ungraft: Use ‘package-mapping’ directly.

2024-12-18 18:32:41 +01:00

upgrade.scm

etc: upgrade: Add web and crypto packages.

2025-01-11 23:36:57 +01:00