From ba8052dbd4ed63db61aa66b594f54de305b424c0 Mon Sep 17 00:00:00 2001
From: Hacl Bot <hacl-star@mailo.com>
Date: Fri, 28 Jun 2024 01:20:43 +0000
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 ff2568f..5c3bbdd 100644
--- a/flake.lock
+++ b/flake.lock
@@ -23,11 +23,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1719382280,
-        "narHash": "sha256-4g7fqIHe9VRWX/Y4u+NXv8raPdwzlZpQG6xKNDjsgYA=",
+        "lastModified": 1719536025,
+        "narHash": "sha256-zCzyL6K2PYsFUc0ai7gYFkLHBRyXvA4hTMfv+QTKVlg=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "08a9aca0f684c5b4aa0d9cf4895f4aea3231af35",
+        "rev": "4d85c61855c24165c256baf6929dbd6f7b895806",
         "type": "github"
       },
       "original": {