dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #329673 from atorres1985-contrib/elisp-idris2-mode

Browse Source 
emacsPackages.idris2-mode: updateScript
This commit is contained in:
Lin Jian 2024-07-29 08:06:58 +08:00 committed by GitHub
commit 22ba2abfc8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix
View File

@ -3,11 +3,15 @@
fetchFromGitHub,
melpaBuild,
prop-menu,
gitUpdater,
}:
melpaBuild rec {
pname = "idris2-mode";
let
version = "1.1";
in
melpaBuild {
pname = "idris2-mode";
inherit version;
src = fetchFromGitHub {
owner = "idris-community";
@ -20,10 +24,12 @@ melpaBuild rec {
prop-menu
];
passthru.updateScript = gitUpdater { };
meta = {
homepage = "https://github.com/idris-community/idris2-mode";
description = "Emacs mode for editing Idris 2 code";
license = lib.licenses.gpl3Only;
maintainers = with lib.maintainers; [ wuyoli ];
maintainers = with lib.maintainers; [ wuyoli AndersonTorres ];
};
}