emacsPackages.idris2-mode: get rid of rec

2024-07-28 14:13:31 -03:00
parent 1c9f2a0404
commit 2014517409
1 changed files with 5 additions and 2 deletions
@@ -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";