From aaff81ec5424fed075836f049a069ccc1a526756 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 12 Jan 2026 10:34:04 +0200
Subject: [PATCH] etc: manifests: Remove idris.

This is a follow-up to e89d3a0857196b3366c18df2a297f05d08ad80c0.

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

Change-Id: I16818ab856bdf72737112bed9d8a92817b48db2a
---
 etc/manifests/release-user-packages.scm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/etc/manifests/release-user-packages.scm b/etc/manifests/release-user-packages.scm
index 92c3e2e9cb1..e2ff1c366b1 100644
--- a/etc/manifests/release-user-packages.scm
+++ b/etc/manifests/release-user-packages.scm
@@ -68,7 +68,6 @@
   "hexchat"
   "hyprland"
   "icecat"
-  "idris"
   "imagemagick"
   "imapfilter"
   "jami"