From db2e71007243566cdf1ddad9156196427edecc58 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 15 Mar 2023 10:52:03 +0100
Subject: [PATCH] chore: Nix: update lean4-mode

---
 flake.lock       | 6 +++---
 nix/packages.nix | 5 ++++-
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 5ec8b3ae6e..1721672484 100644
--- a/flake.lock
+++ b/flake.lock
@@ -18,11 +18,11 @@
     "lean4-mode": {
       "flake": false,
       "locked": {
-        "lastModified": 1659020985,
-        "narHash": "sha256-+dRaXB7uvN/weSZiKcfSKWhcdJVNg9Vg8k0pJkDNjpc=",
+        "lastModified": 1676498134,
+        "narHash": "sha256-u3WvyKxOViZG53hkb8wd2/Og6muTecbh+NdflIgVeyk=",
         "owner": "leanprover",
         "repo": "lean4-mode",
-        "rev": "37d5c99b7b29c80ab78321edd6773200deb0bca6",
+        "rev": "2c6ef33f476fdf5eb5e4fa4fa023ba8b11372440",
         "type": "github"
       },
       "original": {
diff --git a/nix/packages.nix b/nix/packages.nix
index 8e1b73ec2a..fbec135ff2 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -52,7 +52,10 @@ let
     src = args.lean4-mode;
     packageRequires = with pkgs.emacsPackages.melpaPackages; [ dash f flycheck magit-section lsp-mode s ];
     recipe = pkgs.writeText "recipe" ''
-      (lean4-mode :repo "leanprover/lean4-mode" :fetcher github)
+      (lean4-mode
+       :repo "leanprover/lean4-mode"
+       :fetcher github
+       :files ("*.el" "data"))
     '';
   };
   lean-emacs = emacsWithPackages [ lean4-mode ];