From eb48c7db267753d2293602f9ae660ab28c3106c1 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Mon, 5 Jan 2026 16:45:06 +0100
Subject: [PATCH] gnu: Remove emacs-idris-mode.

* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Delete variable.

Change-Id: I015d2a9d9d4ec44fe09846f53f123d9a5f7fab4e
---
 gnu/packages/emacs-xyz.scm | 49 --------------------------------------
 1 file changed, 49 deletions(-)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 36a025ba8b046e6d55f8f863ae99b032bbd65a37..6d66565d25f7a7a3589fde96e04ce7ed6fcb68cc 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -25741,55 +25741,6 @@ key.  Optionally, a mouse pop-up can be added by binding
 @code{prop-menu-show-menu} to a mouse event.")
     (license license:gpl3+)))
 
-(define-public emacs-idris-mode
-  (let ((commit "9bc7697406f719258d93835df3c1761efbfecaa7")
-        (revision "1"))
-    (package
-      (name "emacs-idris-mode")
-      (version (git-version "1.0" revision commit))
-      (source
-       (origin
-         (method git-fetch)
-         (uri (git-reference
-               (url "https://github.com/idris-hackers/idris-mode")
-               (commit commit)))
-         (file-name (git-file-name name commit))
-         (sha256
-          (base32
-           "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
-      (build-system emacs-build-system)
-      (arguments
-       (list #:phases
-             #~(modify-phases %standard-phases
-                 (add-after 'unpack 'patch-tests
-                   (lambda _
-                     (substitute* "Makefile"
-                       (("^test(|2|3): getdeps build" all n)
-                        (string-append "test" n ":" )))))
-                 (replace 'check
-                   (lambda* (#:key tests? #:allow-other-keys)
-                     (if tests?
-                         (begin
-                           (setenv "HOME" (dirname (getcwd)))
-                           (invoke "make" "test")
-                           ;; XXX: History file not writable
-                           ;; (invoke "make" "test2")
-                           ;; XXX: Error reading from stdin
-                           ;; (invoke "make" "test3")
-                           )
-                         (format #t "test suite not run.~%")))))))
-      (native-inputs
-       (list idris))
-      (propagated-inputs
-       (list emacs-prop-menu))
-      (home-page
-       "https://github.com/idris-hackers/idris-mode")
-      (synopsis "Major mode for editing Idris code")
-      (description
-       "This is an Emacs mode for editing Idris code.  It is compatible with
-the latest versions of Idris 1.")
-      (license license:gpl3+))))
-
 (define-public emacs-browse-at-remote
   (package
     (name "emacs-browse-at-remote")