Commit graph

2 commits

Author SHA1 Message Date
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
Noé Lopez
21f0be1aa3
etc: manifests: Add important packages manifest for release.
For now, the packages are from the online form sent in
<https://lists.gnu.org/archive/html/guix-devel/2025-10/msg00091.html>.

Going forwards, more packages can be added manually or if there are more
answers to the form.

* etc/manifests/release-user-packages.scm: New file.
* Makefile.am: Add it.

Change-Id: I2d619ab9d307a6ea216310d1c86a1dc71feb1523
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Signed-off-by: Andreas Enge <andreas@enge.fr>
2025-12-10 13:01:00 +01:00