From 44b884183905005eea86d6355d96359efe12f9e4 Mon Sep 17 00:00:00 2001
From: HACL* <hacl-star@protonmail.com>
Date: Sat, 7 Sep 2024 03:34:09 +0200
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 6e00fec..ec2cbea 100644
--- a/flake.lock
+++ b/flake.lock
@@ -23,11 +23,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1725568539,
-        "narHash": "sha256-uEFzlfyvfT3SRp1uuIAphRIU7at2lWHNqObT+DDG5xg=",
+        "lastModified": 1725636128,
+        "narHash": "sha256-U/v2ZIyMiFjM6jzBEz2s7/fyqwhCoH3eOA4ndjnA/no=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "b600d8a100fe06027667f924153887966a8d7030",
+        "rev": "f2ef620cfde52aafb4dff12e438ba508d80245a3",
         "type": "github"
       },
       "original": {