From c4f1ea76ccc91635a9fa0bf9d7f1aced7d6adf20 Mon Sep 17 00:00:00 2001
From: Antonin Reitz <antonin.reitz@inria.fr>
Date: Sat, 20 Jul 2024 16:48:35 +0200
Subject: [PATCH] CI: update all dependencies

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

diff --git a/flake.lock b/flake.lock
index e2f9b8e..77c5f43 100644
--- a/flake.lock
+++ b/flake.lock
@@ -25,11 +25,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1720481548,
-        "narHash": "sha256-jZpIUNF24a1j4t2We5u54RCIKkThVMI3e0swguI5QII=",
+        "lastModified": 1721433332,
+        "narHash": "sha256-lmvD/1ziBqyph3CnAO8mLfkMeVTAPjEISVNy+0ClWmQ=",
         "owner": "FStarLang",
         "repo": "FStar",
-        "rev": "07b5a2101c86f81d9a2d31ca68eb855ee361bacc",
+        "rev": "ae27cfdbda03d9b605e87369fac1156167760e5e",
         "type": "github"
       },
       "original": {
@@ -52,11 +52,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1720135441,
-        "narHash": "sha256-M4GqANJGq0OSzzJs7llvM+FhCvx9EoHYptwr0GITzCo=",
+        "lastModified": 1721405272,
+        "narHash": "sha256-Xv7MyglKpE7r+JLoFoY2d1gOGvL7bVHuAyqmXqDbUMQ=",
         "owner": "FStarLang",
         "repo": "karamel",
-        "rev": "285552497829dd57fc019f946dce21c70ab35a0b",
+        "rev": "facdca238e5bbcc1cb95af1770c8bfa5ce7b3e0e",
         "type": "github"
       },
       "original": {
@@ -67,11 +67,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1719506693,
-        "narHash": "sha256-C8e9S7RzshSdHB7L+v9I51af1gDM5unhJ2xO1ywxNH8=",
+        "lastModified": 1721379653,
+        "narHash": "sha256-8MUgifkJ7lkZs3u99UDZMB4kbOxvMEXQZ31FO3SopZ0=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "b2852eb9365c6de48ffb0dc2c9562591f652242a",
+        "rev": "1d9c2c9b3e71b9ee663d11c5d298727dace8d374",
         "type": "github"
       },
       "original": {
@@ -103,11 +103,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1713455708,
-        "narHash": "sha256-shj7ZFHB9rvfR7vA6U0vHDd1cqCFj5ql3P7RHPHRdOQ=",
+        "lastModified": 1721290942,
+        "narHash": "sha256-0+xujsuQghyGEQ2qX/FDBHVegYoKd2TXQnx+rlt4ods=",
         "owner": "FStarLang",
         "repo": "steel",
-        "rev": "876bf9343a3fa4b8ab2e3b26e3574c7a445c3cd8",
+        "rev": "6c4c1f1b57465b61b8100714ccd405fdfa28d198",
         "type": "github"
       },
       "original": {