emacsPackages.idris2-mode: updateScript

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

@@ -3,6 +3,7 @@
   fetchFromGitHub,
   melpaBuild,
   prop-menu,
+  gitUpdater,
 }:
 
 melpaBuild rec {
@@ -20,6 +21,8 @@ melpaBuild rec {
     prop-menu
   ];
 
+  passthru.updateScript = gitUpdater { };
+
   meta = {
     homepage = "https://github.com/idris-community/idris2-mode";
     description = "Emacs mode for editing Idris 2 code";