From a4391be89a5f5303d73b1e956b14c02aeda16a0f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 26 Jun 2026 22:28:31 +0000
Subject: [PATCH] Update flake input: aeneas
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

• Updated input 'aeneas':
    'github:AeneasVerif/aeneas/fa699427cdfa8f604b891fb0223ef42883dd7dc4?narHash=sha256-T/wiTajDKCG4lFcHtdQvO0AhEzX9F%2BvT6ij2VBBnvdU%3D' (2026-06-20)
  → 'github:AeneasVerif/aeneas/5f8e893ad56764acde936135228b636528e8b1f8?narHash=sha256-v6pk8N3H%2B4gBEuJF6Ax8cIRZweJ8Ur3MbWNybeVZOpw%3D' (2026-06-26)
• Updated input 'aeneas/charon':
    'github:aeneasverif/charon/6f058254eb741c12e9b388df07adaf7cc8aac8ed?narHash=sha256-Wz2iVkHZLHwgIycHTNCmST5gizupU3xGTo0scfdq8T0%3D' (2026-06-16)
  → 'github:aeneasverif/charon/487f03206fd65b645164610607f760a94b497a2e?narHash=sha256-m5MT5Vben9yhpAfaAKGXTUUt1Yn1cMyvc9skcC%2BMqV4%3D' (2026-06-22)

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
---
 flake.lock | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index 2b40e8b41..dd14e4292 100644
--- a/flake.lock
+++ b/flake.lock
@@ -16,11 +16,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1781971332,
-        "narHash": "sha256-T/wiTajDKCG4lFcHtdQvO0AhEzX9F+vT6ij2VBBnvdU=",
+        "lastModified": 1782511431,
+        "narHash": "sha256-v6pk8N3H+4gBEuJF6Ax8cIRZweJ8Ur3MbWNybeVZOpw=",
         "owner": "AeneasVerif",
         "repo": "aeneas",
-        "rev": "fa699427cdfa8f604b891fb0223ef42883dd7dc4",
+        "rev": "5f8e893ad56764acde936135228b636528e8b1f8",
         "type": "github"
       },
       "original": {
@@ -200,11 +200,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1781569306,
-        "narHash": "sha256-Wz2iVkHZLHwgIycHTNCmST5gizupU3xGTo0scfdq8T0=",
+        "lastModified": 1782162012,
+        "narHash": "sha256-m5MT5Vben9yhpAfaAKGXTUUt1Yn1cMyvc9skcC+MqV4=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "6f058254eb741c12e9b388df07adaf7cc8aac8ed",
+        "rev": "487f03206fd65b645164610607f760a94b497a2e",
         "type": "github"
       },
       "original": {