From b3b53e369233247d41770432396fbd1932633c0d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 7 Dec 2023 15:32:33 +0100
Subject: Update the flake.lock

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index c8bdb73a..4437f543 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1701956916,
-        "narHash": "sha256-dEyOGZbbIH4ZK0zX1ZckAXnWbgC1KKUH/0Xv1n0v+lU=",
+        "lastModified": 1701959392,
+        "narHash": "sha256-R38NTAxnQVeMoFnaA0uZJX+WZpZ9hW+nI2GU7Cu2aCs=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "bc1572a29b67feee8ecb7597c488eee6e0527206",
+        "rev": "6130c2d04fe72e4873a8c69569f6cb8a2a698a0a",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3