From ee11f8135281d34e76c31f4d001854ba11546007 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 4 Jun 2024 09:24:11 +0200
Subject: Update charon pin

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

(limited to 'flake.lock')

diff --git a/flake.lock b/flake.lock
index 712de213..974a3e25 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1716552262,
-        "narHash": "sha256-anBm+nYYp1IDHb+9Dk5oMv28OK/vjcf+wuFI3IRjKrA=",
+        "lastModified": 1717443886,
+        "narHash": "sha256-6tX6AgXQlIIuiKLOij0H2mf00rhU02hbQhs3lTARgMk=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "a5fda598f359a2b85e044a884fd977d75f4578b4",
+        "rev": "ae610b59b337b191d23f4f1c738ed290b8edd0d2",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3


From 5b7fc57cdc6bc5cff8373e6aa8df383278c9cf63 Mon Sep 17 00:00:00 2001
From: Escherichia
Date: Tue, 4 Jun 2024 15:27:33 +0200
Subject: Propagated changes to statement from Charon (#223)

Co-authored-by: Escherichia <escherichia@charlotte>
Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'flake.lock')

diff --git a/flake.lock b/flake.lock
index 974a3e25..3b6effa7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1717443886,
-        "narHash": "sha256-6tX6AgXQlIIuiKLOij0H2mf00rhU02hbQhs3lTARgMk=",
+        "lastModified": 1717506811,
+        "narHash": "sha256-QYPXD3+INGmfY9VA+X7ruRAeiU/siJYSHYAwXUOUNGM=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "ae610b59b337b191d23f4f1c738ed290b8edd0d2",
+        "rev": "438acf2ad2c6f7e03a16f8b1dc1bc3df96e72ae8",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3


From 8a1adfb37d2cf295d8caed1dfdd4f7475bb19283 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 4 Jun 2024 17:42:46 +0200
Subject: Update charon

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

(limited to 'flake.lock')

diff --git a/flake.lock b/flake.lock
index 3b6effa7..35e5e9cd 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1717506811,
-        "narHash": "sha256-QYPXD3+INGmfY9VA+X7ruRAeiU/siJYSHYAwXUOUNGM=",
+        "lastModified": 1717573223,
+        "narHash": "sha256-56arhtgTmdFFLV/BnO3GQC0FEiWdEmzM4CakeSulT+k=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "438acf2ad2c6f7e03a16f8b1dc1bc3df96e72ae8",
+        "rev": "3f3c013cbe726c2f3ae83e8a589eca47bce21a01",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3