nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 02:13:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

emacsPackages.agda-input: remove

Browse Source
This commit is contained in:
Lin Jian 2024-07-18 04:28:09 +08:00
parent 2f53ab981a
commit 08ccbb4528
No known key found for this signature in database
GPG Key ID: A6698D36434F75A5
2 changed files with 1 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix
View File

@ -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

18
pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda-input/default.nix
View File

@ -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";
};
}