From 3d85a80e9e4ce3c896fb84b4a67e71d90c7a8b22 Mon Sep 17 00:00:00 2001
From: Hacl Bot <hacl-star@mailo.com>
Date: Tue, 23 Apr 2024 03:14:28 +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 e039aa9..a752d9e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -23,11 +23,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1713679611,
-        "narHash": "sha256-d8pQYiiT5x7aHy619mO5c+TdIxZA1SGCjv6oG7o61OQ=",
+        "lastModified": 1713749777,
+        "narHash": "sha256-SyvsOu4MwKAB+AeE7IMcCu/Jfu7jGOWqpcJM4Q0pyd4=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "b2f121507b840ad693282f9d3ebbaa3af0e8fada",
+        "rev": "55de689ac150475dd123b287590bbfdbdcb44739",
         "type": "github"
       },
       "original": {