From e732f97d09179fae43fafcb244340f98e3ca9229 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 29 Nov 2023 15:53:46 +0100
Subject: Update the flake.lock

---
 flake.lock | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/flake.lock b/flake.lock
index eedf152d..55f38cfb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1701263140,
-        "narHash": "sha256-rxfTrlSCGZVwcHNV+zqRk8Wh92lojYfdXWmE9oUSp0w=",
+        "lastModified": 1701269567,
+        "narHash": "sha256-3UsioCtoMv+FUPPJaR+sXnKzEnyW45Rl9FrWcNLpDE8=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "e3718f07206e54458b3fcf0642089c32ee2381f0",
+        "rev": "013396662cbdb76a09c8b70cfd13606e6c6d428f",
         "type": "github"
       },
       "original": {
@@ -265,11 +265,11 @@
         "nixpkgs": "nixpkgs_4"
       },
       "locked": {
-        "lastModified": 1701259400,
-        "narHash": "sha256-BZxLzC6mapqUUpL4SUiEy4ZqszTehcTDQRAhThDCMAY=",
+        "lastModified": 1701264285,
+        "narHash": "sha256-zquq62OOZE5aySVkFi4NnSGVY+YSTzipxLwO8umA4zo=",
         "owner": "leanprover",
         "repo": "lean4",
-        "rev": "4f2f704962f960c42ca2bc3ca81c4c43767b22f2",
+        "rev": "367ac01279e6a26e65fd8f5ca66ed43709c458ae",
         "type": "github"
       },
       "original": {
@@ -318,11 +318,11 @@
         "nixpkgs": "nixpkgs_7"
       },
       "locked": {
-        "lastModified": 1701259400,
-        "narHash": "sha256-BZxLzC6mapqUUpL4SUiEy4ZqszTehcTDQRAhThDCMAY=",
+        "lastModified": 1701264285,
+        "narHash": "sha256-zquq62OOZE5aySVkFi4NnSGVY+YSTzipxLwO8umA4zo=",
         "owner": "leanprover",
         "repo": "lean4",
-        "rev": "4f2f704962f960c42ca2bc3ca81c4c43767b22f2",
+        "rev": "367ac01279e6a26e65fd8f5ca66ed43709c458ae",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3