From e8b6b3f7aec7151fc7d9a5548a497796a7b34334 Mon Sep 17 00:00:00 2001
From: Hacl Bot <hacl-star@mailo.com>
Date: Thu, 15 Feb 2024 02:11:23 +0100
Subject: [PATCH] [CI] update flake.lock

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

diff --git a/flake.lock b/flake.lock
index 393108d..4daa609 100644
--- a/flake.lock
+++ b/flake.lock
@@ -78,11 +78,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1707785177,
-        "narHash": "sha256-DPUINtVtpTiK5fb01JKv6pFR28QCUsyzf47OegGrg7s=",
+        "lastModified": 1707954613,
+        "narHash": "sha256-UVixnlHYQYicZOpr9iQm47aFmsaMGFpG/q3L8sRuwck=",
         "owner": "fstarlang",
         "repo": "karamel",
-        "rev": "7cf2361746b4c26877bd7f1a2c48ffb889eeab12",
+        "rev": "08bfa78ae1df5639446e6c5897b07c9823fbf3b0",
         "type": "github"
       },
       "original": {