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"