diff options
| author | Andreas Enge <andreas@enge.fr> | 2026-01-05 16:50:37 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-01-05 16:52:35 +0100 |
| commit | 6bd2a77b7bc78ed9d827ef9b078ce10745636232 (patch) | |
| tree | 12322d5004561d38a4c86c13cdd8fbfc593514ce /gnu | |
| parent | e89d3a0857196b3366c18df2a297f05d08ad80c0 (diff) | |
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
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/local.mk | 1 | ||||
| -rw-r--r-- | gnu/packages/idris.scm | 38 |
2 files changed, 0 insertions, 39 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 <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)) |