From 6bd2a77b7bc78ed9d827ef9b078ce10745636232 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Mon, 5 Jan 2026 16:50:37 +0100
Subject: [PATCH] gnu: Remove (gnu packages idris).

* gnu/packages/idris.scm: Remove file.
* gnu/local.mk (GNU_SYSTEM_MODULES), po/packages/POTFILES.in: Unregister file.

Fixes: guix/guix#4391
Change-Id: I03f0eb98456fd478c91cfe45c2334fb947a33229
---
 gnu/local.mk            |  1 -
 gnu/packages/idris.scm  | 38 --------------------------------------
 po/packages/POTFILES.in |  1 -
 3 files changed, 40 deletions(-)
 delete mode 100644 gnu/packages/idris.scm

diff --git a/gnu/local.mk b/gnu/local.mk
index 2fb706c98b8..206a1e0401e 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -376,7 +376,6 @@ GNU_SYSTEM_MODULES =				\
   %D%/packages/i2p.scm				\
   %D%/packages/ibus.scm				\
   %D%/packages/icu4c.scm			\
-  %D%/packages/idris.scm			\
   %D%/packages/idutils.scm			\
   %D%/packages/image.scm			\
   %D%/packages/image-processing.scm	\
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
deleted file mode 100644
index 7b0a01472fe..00000000000
--- a/gnu/packages/idris.scm
+++ /dev/null
@@ -1,38 +0,0 @@
-;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org>
-;;; Copyright © 2016, 2017 David Craven <david@craven.ch>
-;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com>
-;;; Copyright © 2019, 2021, 2022 Eric Bavier <bavier@posteo.net>
-;;; Copyright © 2022 Attila Lendvai <attila@lendvai.name>
-;;;
-;;; This file is part of GNU Guix.
-;;;
-;;; GNU Guix is free software; you can redistribute it and/or modify it
-;;; under the terms of the GNU General Public License as published by
-;;; the Free Software Foundation; either version 3 of the License, or (at
-;;; your option) any later version.
-;;;
-;;; GNU Guix is distributed in the hope that it will be useful, but
-;;; WITHOUT ANY WARRANTY; without even the implied warranty of
-;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-;;; GNU General Public License for more details.
-;;;
-;;; You should have received a copy of the GNU General Public License
-;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
-
-(define-module (gnu packages idris)
-  #:use-module (gnu packages)
-  #:use-module (gnu packages haskell-check)
-  #:use-module (gnu packages haskell-web)
-  #:use-module (gnu packages haskell-xyz)
-  #:use-module (gnu packages libffi)
-  #:use-module (gnu packages multiprecision)
-  #:use-module (gnu packages ncurses)
-  #:use-module (gnu packages perl)
-  #:use-module (guix build-system gnu)
-  #:use-module (guix build-system haskell)
-  #:use-module (guix download)
-  #:use-module (guix git-download)
-  #:use-module (guix utils)
-  #:use-module ((guix licenses) #:prefix license:)
-  #:use-module (guix packages))
diff --git a/po/packages/POTFILES.in b/po/packages/POTFILES.in
index e52851c8b96..ed8a9512b05 100644
--- a/po/packages/POTFILES.in
+++ b/po/packages/POTFILES.in
@@ -383,7 +383,6 @@ gnu/packages/hardware.scm
 gnu/packages/haskell-apps.scm
 gnu/packages/hunspell.scm
 gnu/packages/icu4c.scm
-gnu/packages/idris.scm
 gnu/packages/idutils.scm
 gnu/packages/image-processing.scm
 gnu/packages/image-viewers.scm