branch master updated: gnu: Remove usage of (gnu packages idris).

[guix-commits]

This is an automated email from the git hooks/post-receive script.

guix_mirror_bot pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 301255c5f8 gnu: Remove usage of (gnu packages idris).
301255c5f8 is described below

commit 301255c5f873e81c39902f8bec56c41c85cac129
Author: Rutherther <ruthert...@ditigal.xyz>
AuthorDate: Mon Jan 5 17:56:11 2026 +0100

    gnu: Remove usage of (gnu packages idris).
    
    Followup of 6bd2a77b7bc78ed9d827ef9b078ce10745636232.
    
    * gnu/packages/emacs-xyz.scm: Remove usage of (gnu packages idris) module.
    
    Change-Id: I0a72e9358ccfd08d36c1f1b455c22f75e0c63558
---
 gnu/packages/emacs-xyz.scm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 6d66565d25..46f4a7d603 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -228,7 +228,6 @@
   #:use-module (gnu packages haskell)
   #:use-module (gnu packages haskell-apps)
   #:use-module (gnu packages ibus)
-  #:use-module (gnu packages idris)
   #:use-module (gnu packages java)
   #:use-module (gnu packages julia-xyz)
   #:use-module (gnu packages ncurses)