From 85cf1c70402141dfcc13de5411caa8fb1247e8da Mon Sep 17 00:00:00 2001
From: "typelevel-steward[bot]"
 <106827141+typelevel-steward[bot]@users.noreply.github.com>
Date: Sun, 28 Dec 2025 07:47:07 +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/1224bbf6d7f80a66d064c656f9ff0868825099be?narHash=sha256-2r84BeJmcT3ntaCNtHsWr3ui9lHymwrvDQ9qTC5amXQ%3D' (2025-10-27)
  → 'github:typelevel/typelevel-nix/5c71dee6bcd60cf4c3ad010a161b8d876d3a7fa4?narHash=sha256-IPfrqHHnWISgky88F4F11AcoUFxWeIizsoHNhyckMT8%3D' (2025-12-22)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/7c9e793ebe66bcba8292989a68c0419b737a22a0?narHash=sha256-kWNaq6wQUbUMlPgw8Y%2B9/9wP0F8SHkjy24/mN3UAppg%3D' (2025-03-08)
  → 'github:numtide/devshell/17ed8d9744ebe70424659b0ef74ad6d41fc87071?narHash=sha256-M7SZyPZiqZUR/EiiBJnmyUbOi5oE/03tCeFrTiUZchI%3D' (2025-11-24)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/02f2cb8e0feb4596d20cc52fda73ccee960e3538?narHash=sha256-tH3wHnOJms%2BU4k/rK2Nn1RfBrhffX92jLP/2VndSn0w%3D' (2025-10-24)
  → 'github:nixos/nixpkgs/7d853e518814cca2a657b72eeba67ae20ebf7059?narHash=sha256-l/YGrEpLromL4viUo5GmFH3K5M1j0Mb9O%2BLiaeCPWEM%3D' (2025-12-19)
---
 flake.lock | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/flake.lock b/flake.lock
index ec61c0a..7253597 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1741473158,
-        "narHash": "sha256-kWNaq6wQUbUMlPgw8Y+9/9wP0F8SHkjy24/mN3UAppg=",
+        "lastModified": 1764011051,
+        "narHash": "sha256-M7SZyPZiqZUR/EiiBJnmyUbOi5oE/03tCeFrTiUZchI=",
         "owner": "numtide",
         "repo": "devshell",
-        "rev": "7c9e793ebe66bcba8292989a68c0419b737a22a0",
+        "rev": "17ed8d9744ebe70424659b0ef74ad6d41fc87071",
         "type": "github"
       },
       "original": {
@@ -41,11 +41,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1761349956,
-        "narHash": "sha256-tH3wHnOJms+U4k/rK2Nn1RfBrhffX92jLP/2VndSn0w=",
+        "lastModified": 1766125104,
+        "narHash": "sha256-l/YGrEpLromL4viUo5GmFH3K5M1j0Mb9O+LiaeCPWEM=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "02f2cb8e0feb4596d20cc52fda73ccee960e3538",
+        "rev": "7d853e518814cca2a657b72eeba67ae20ebf7059",
         "type": "github"
       },
       "original": {
@@ -90,11 +90,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1761602063,
-        "narHash": "sha256-2r84BeJmcT3ntaCNtHsWr3ui9lHymwrvDQ9qTC5amXQ=",
+        "lastModified": 1766437860,
+        "narHash": "sha256-IPfrqHHnWISgky88F4F11AcoUFxWeIizsoHNhyckMT8=",
         "owner": "typelevel",
         "repo": "typelevel-nix",
-        "rev": "1224bbf6d7f80a66d064c656f9ff0868825099be",
+        "rev": "5c71dee6bcd60cf4c3ad010a161b8d876d3a7fa4",
         "type": "github"
       },
       "original": {