From 3a6a49c1aafbe60be382f372515aa5698b568ef3 Mon Sep 17 00:00:00 2001
From: HACL* <hacl-star@protonmail.com>
Date: Tue, 27 Aug 2024 07:57:05 +0200
Subject: [PATCH] [CI] update flake.lock

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

diff --git a/flake.lock b/flake.lock
index 858722d..e22d797 100644
--- a/flake.lock
+++ b/flake.lock
@@ -23,11 +23,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1724462587,
-        "narHash": "sha256-BosnsgA+K1XfdqThozmv0yGJ1jrO0RFdoY6/KuIHk94=",
+        "lastModified": 1724720196,
+        "narHash": "sha256-TiwBnQI6451sTFlABCISWGf0/PKf62c2w9lMe6V1K2s=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "fbf541255c18e011786af7abd058a8df35b66f99",
+        "rev": "ff140d10f4cb9e67c2f582f632f49e83bebc626d",
         "type": "github"
       },
       "original": {
@@ -52,11 +52,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1724413921,
-        "narHash": "sha256-tK5xaCNwse4xJ5XstB46ubKJxkijfB8YeGML8V5oJlY=",
+        "lastModified": 1724661848,
+        "narHash": "sha256-N8qdTmQ2Z0lBk7Sq5vXCGD3BDmalFBy7MZz3Z13tYFU=",
         "owner": "hacl-star",
         "repo": "hacl-star",
-        "rev": "b23dfc5497e7244ba0bdd5de290aba3de37c9698",
+        "rev": "9c7779ea6336f3d836982ca3a8290c0ba67b3fc9",
         "type": "github"
       },
       "original": {