From e3be7e4941a76c9d1c7f0023a0b314ea62a31fc6 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Fri, 13 Sep 2024 21:39:58 +0900
Subject: [PATCH] modified:   flake.lock

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

diff --git a/flake.lock b/flake.lock
index 681795e63..4326e0e47 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1724467107,
-        "narHash": "sha256-oZW7ymnqv9yyd6Ey04j/fjp+X7kayKEpBUbnAHlcGU4=",
+        "lastModified": 1726227518,
+        "narHash": "sha256-i4b4IcHBiukSgUP875FLe9x/wrWns7AJuj8+8VuqpFU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "0b6fa5ee40c14df33494d4ed9da1251e872fb0c2",
+        "rev": "da8415506ffd6c72680825595bfee80ebbe06128",
         "type": "github"
       },
       "original": {
@@ -41,11 +41,11 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1724470180,
-        "narHash": "sha256-zwSbdDtoZBQORl4GyHISGJ7Sm0v6dvn/KMSkQzpkhZU=",
+        "lastModified": 1725558991,
+        "narHash": "sha256-4RcUUEq29/t0i+awEuUngPC2f4QuscVgAGeFDD5HM3s=",
         "owner": "shnarazk",
         "repo": "SAT-bench",
-        "rev": "bca44904e0911104fa0a4235b5d8b5d14f4bf6cb",
+        "rev": "1923148519d315228021fc015edd4e42394adcf2",
         "type": "github"
       },
       "original": {