diff --git a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix index 784f55c4c53d..3901b4afcc17 100644 --- a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix +++ b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix @@ -6,9 +6,12 @@ gitUpdater, }: -melpaBuild rec { - pname = "idris2-mode"; +let version = "1.1"; +in +melpaBuild { + pname = "idris2-mode"; + inherit version; src = fetchFromGitHub { owner = "idris-community";