From e67c2505505ff432eb3057a59c924dcabb373bf1 Mon Sep 17 00:00:00 2001
From: "typelevel-steward[bot]"
 <106827141+typelevel-steward[bot]@users.noreply.github.com>
Date: Mon, 28 Jul 2025 07:48:52 +0000
Subject: [PATCH] flake.lock: Update
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/49398f7ffae4a7c8bd05f643e5c697c375423c28?narHash=sha256-Uylyl8wRqpAQk1FKI9eE6Tf7d2L6WInMQNnh6/CONJY%3D' (2025-01-27)
  → 'github:typelevel/typelevel-nix/42da6d6be06a2e56e5efdaa41d2eb73d3878b0fe?narHash=sha256-LXzhkrpKJBqVZaKEfitPfCGxRF1l2WBNjClhRfxkoVA%3D' (2025-07-22)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/f7795ede5b02664b57035b3b757876703e2c3eac?narHash=sha256-tO3HrHriyLvipc4xr%2BEwtdlo7wM1OjXNjlWRgmM7peY%3D' (2024-12-31)
  → 'github:numtide/devshell/7c9e793ebe66bcba8292989a68c0419b737a22a0?narHash=sha256-kWNaq6wQUbUMlPgw8Y%2B9/9wP0F8SHkjy24/mN3UAppg%3D' (2025-03-08)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/5d3221fd57cc442a1a522a15eb5f58230f45a304?narHash=sha256-H%2BFXIKj//kmFHTTW4DFeOjR7F1z2/3eb2iwN6Me4YZk%3D' (2025-01-26)
  → 'github:nixos/nixpkgs/6b4955211758ba47fac850c040a27f23b9b4008f?narHash=sha256-dPALCtmik9Wr14MGqVXm%2BOQcv7vhPBXcWNIOThGnB/Q%3D' (2025-07-19)
---
 flake.lock | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/flake.lock b/flake.lock
index 1cf9177..6efd0d4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1735644329,
-        "narHash": "sha256-tO3HrHriyLvipc4xr+Ewtdlo7wM1OjXNjlWRgmM7peY=",
+        "lastModified": 1741473158,
+        "narHash": "sha256-kWNaq6wQUbUMlPgw8Y+9/9wP0F8SHkjy24/mN3UAppg=",
         "owner": "numtide",
         "repo": "devshell",
-        "rev": "f7795ede5b02664b57035b3b757876703e2c3eac",
+        "rev": "7c9e793ebe66bcba8292989a68c0419b737a22a0",
         "type": "github"
       },
       "original": {
@@ -41,11 +41,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1737879851,
-        "narHash": "sha256-H+FXIKj//kmFHTTW4DFeOjR7F1z2/3eb2iwN6Me4YZk=",
+        "lastModified": 1752900028,
+        "narHash": "sha256-dPALCtmik9Wr14MGqVXm+OQcv7vhPBXcWNIOThGnB/Q=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "5d3221fd57cc442a1a522a15eb5f58230f45a304",
+        "rev": "6b4955211758ba47fac850c040a27f23b9b4008f",
         "type": "github"
       },
       "original": {
@@ -90,11 +90,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1737986321,
-        "narHash": "sha256-Uylyl8wRqpAQk1FKI9eE6Tf7d2L6WInMQNnh6/CONJY=",
+        "lastModified": 1753218110,
+        "narHash": "sha256-LXzhkrpKJBqVZaKEfitPfCGxRF1l2WBNjClhRfxkoVA=",
         "owner": "typelevel",
         "repo": "typelevel-nix",
-        "rev": "49398f7ffae4a7c8bd05f643e5c697c375423c28",
+        "rev": "42da6d6be06a2e56e5efdaa41d2eb73d3878b0fe",
         "type": "github"
       },
       "original": {