From 08ccbb452819a5382bc77d8cce672ec6915ec50a Mon Sep 17 00:00:00 2001 From: Lin Jian Date: Thu, 18 Jul 2024 04:28:09 +0800 Subject: [PATCH] emacsPackages.agda-input: remove --- .../emacs/elisp-packages/manual-packages.nix | 3 +-- .../manual-packages/agda-input/default.nix | 18 ------------------ 2 files changed, 1 insertion(+), 20 deletions(-) delete mode 100644 pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda-input/default.nix diff --git a/pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix b/pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix index bd489d7820d8..d5758e178319 100644 --- a/pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix +++ b/pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix @@ -11,8 +11,6 @@ in acm-terminal = callPackage ./manual-packages/acm-terminal { }; - agda-input = callPackage ./manual-packages/agda-input { }; - agda2-mode = callPackage ./manual-packages/agda2-mode { }; beancount = callPackage ./manual-packages/beancount { }; @@ -122,6 +120,7 @@ in } ### Aliases // lib.optionalAttrs pkgs.config.allowAliases { + agda-input = throw "emacsPackages.agda-input is contained in emacsPackages.agda2-mode, please use that instead."; # Added 2024-07-17 ess-R-object-popup = throw "emacsPackages.ess-R-object-popup was deleted, since the upstream repo looks abandoned."; # Added 2024-07-15 ghc-mod = throw "emacsPackages.ghc-mod was deleted because it is deprecated, use haskell-language-server instead."; # Added 2024-07-17 haskell-unicode-input-method = throw "emacsPackages.haskell-unicode-input-method is contained in emacsPackages.haskell-mode, please use that instead."; # Added 2024-07-17 diff --git a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda-input/default.nix b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda-input/default.nix deleted file mode 100644 index a3c820fac6e7..000000000000 --- a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda-input/default.nix +++ /dev/null @@ -1,18 +0,0 @@ -{ trivialBuild -, haskellPackages -}: - -trivialBuild { - pname = "agda-input"; - - inherit (haskellPackages.Agda) src version; - - postUnpack = '' - mv $sourceRoot/src/data/emacs-mode/agda-input.el $sourceRoot - ''; - - meta = { - inherit (haskellPackages.Agda.meta) homepage license; - description = "Standalone package providing the agda-input method without building Agda"; - }; -}