From f2c43130258c4a5887886e62be972e367eb61996 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Sun, 4 Jun 2023 01:17:15 +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/bcb8b3623229dc58cf080a3cf83aa9b372a95e79' (2023-05-22)
  → 'github:typelevel/typelevel-nix/138a101f4b23c4e029812492235ebd4486c00946' (2023-05-30)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/85340996ba67cc02f01ba324e18b1306892ed6f5' (2023-05-21)
  → 'github:nixos/nixpkgs/aeb75dba965e790de427b73315d5addf91a54955' (2023-05-25)
---
 flake.lock | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index 3aa9973..31d21a0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -55,11 +55,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1684668519,
-        "narHash": "sha256-KkVvlXTqdLLwko9Y0p1Xv6KQ9QTcQorrU098cGilb7c=",
+        "lastModified": 1685012353,
+        "narHash": "sha256-U3oOge4cHnav8OLGdRVhL45xoRj4Ppd+It6nPC9nNIU=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "85340996ba67cc02f01ba324e18b1306892ed6f5",
+        "rev": "aeb75dba965e790de427b73315d5addf91a54955",
         "type": "github"
       },
       "original": {
@@ -119,11 +119,11 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1684765835,
-        "narHash": "sha256-/Wmcx12luP1oTWFj0dd5elX4oxxq1UcAv9gEb54Wx4A=",
+        "lastModified": 1685463859,
+        "narHash": "sha256-5QSODVG4f2dg13Edp+WWIyQRiz1FXCBBRqhVYxDO7Kc=",
         "owner": "typelevel",
         "repo": "typelevel-nix",
-        "rev": "bcb8b3623229dc58cf080a3cf83aa9b372a95e79",
+        "rev": "138a101f4b23c4e029812492235ebd4486c00946",
         "type": "github"
       },
       "original": {