etc: manifests: Remove idris.

This is a follow-up to e89d3a0857.

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

Change-Id: I16818ab856bdf72737112bed9d8a92817b48db2a
This commit is contained in:
Efraim Flashner 2026-01-12 10:34:04 +02:00
parent ae51ce1685
commit aaff81ec54
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -68,7 +68,6 @@
"hexchat"
"hyprland"
"icecat"
"idris"
"imagemagick"
"imapfilter"
"jami"