From 9b1dd0ffda4d9b9122241da31747b15a55e0754d Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sat, 6 Jul 2024 19:58:55 -0700
Subject: [PATCH] chore: Update flake

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 1a50363..c803f65 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,16 +42,16 @@
         "nixpkgs-old": "nixpkgs-old"
       },
       "locked": {
-        "lastModified": 1714704934,
-        "narHash": "sha256-q0kLyIahUXolkSrBZSegPF+R99WAH1YC96JfKoFntDE=",
+        "lastModified": 1719788866,
+        "narHash": "sha256-kB2cp1XJKODXiuiKp7J5OK+PFP+sOSBE5gdVNOKWCPI=",
         "owner": "leanprover",
         "repo": "lean4",
-        "rev": "dcccfb73cb247e9478220375ab7de03f7c67e505",
+        "rev": "3b58e0649156610ce3aeed4f7b5c652340c668d4",
         "type": "github"
       },
       "original": {
         "owner": "leanprover",
-        "ref": "v4.8.0-rc1",
+        "ref": "v4.10.0-rc1",
         "repo": "lean4",
         "type": "github"
       }