guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 6bd2a77b7bc78ed9d827ef9b078ce10745636232
Author: Andreas Enge <[email protected]>
AuthorDate: Mon Jan 5 16:50:37 2026 +0100
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(-)
diff --git a/gnu/local.mk b/gnu/local.mk
index 2fb706c98b..206a1e0401 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 7b0a01472f..0000000000
--- a/gnu/packages/idris.scm
+++ /dev/null
@@ -1,38 +0,0 @@
-;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2015 Paul van der Walt <[email protected]>
-;;; Copyright © 2016, 2017 David Craven <[email protected]>
-;;; Copyright © 2018 Alex ter Weele <[email protected]>
-;;; Copyright © 2019, 2021, 2022 Eric Bavier <[email protected]>
-;;; Copyright © 2022 Attila Lendvai <[email protected]>
-;;;
-;;; 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 e52851c8b9..ed8a9512b0 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
