nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 17:33:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #198162 from wuyoli/master

Browse Source 
emacsPackages.idris2-mode: init at 1.1
This commit is contained in:
adisbladis 2022-10-29 11:24:25 +13:00 committed by GitHub
commit 8209610fb3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 40 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View File

@ -15702,4 +15702,10 @@
githubId = 5228243;
name = "waelwindows";
};
wuyoli = {
name = "wuyoli";
email = "wuyoli@tilde.team";
github = "wuyoli";
githubId = 104238274;
};
}

32
pkgs/applications/editors/emacs/elisp-packages/idris2-mode/default.nix Normal file
View File

@ -0,0 +1,32 @@
{ lib
, trivialBuild
, fetchFromGitHub
, emacs
, prop-menu
}:
trivialBuild rec {
pname = "idris2-mode";
version = "1.1";
src = fetchFromGitHub {
owner = "idris-community";
repo = pname;
rev = version;
hash = "sha256-rTeVjkAw44Q35vjaERs4uoZRJ6XR3FKplEUCVPHhY7Q=";
};
buildInputs = propagatedUserEnvPkgs;
propagatedUserEnvPkgs = [
prop-menu
];
meta = with lib; {
homepage = "https://github.com/idris-community/idris2-mode";
description = "This is an emacs mode for editing Idris 2 code.";
license = licenses.gpl3Only;
maintainers = with maintainers; [ wuyoli ];
inherit (emacs.meta) platforms;
};
}

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

@ -182,6 +182,8 @@
helm-words = callPackage ./helm-words { };
idris2-mode = callPackage ./idris2-mode { };
isearch-plus = callPackage ./isearch-plus { };
isearch-prop = callPackage ./isearch-prop { };