flake.lock: Update

[typelevel-steward]

Automated changes by the update-flake-lock GitHub Action.

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/e6461df8226634cfa16ea8cba41cd2863d0f7e47' (2023-06-26)
  → 'github:typelevel/typelevel-nix/66232545cc967ff9d4d5e1805d8dbbc621a3c2e0' (2023-11-20)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/3e0e60ab37cd0bf7ab59888f5c32499d851edb47' (2023-03-16)
  → 'github:numtide/devshell/1aed986e3c81a4f6698e85a7452cbfcc4b31a36e' (2023-10-27)
• Removed input 'typelevel-nix/devshell/flake-utils'
• Added input 'typelevel-nix/devshell/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e' (2023-04-09)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/dbabf0ca0c0c4bce6ea5eaf65af5cb694d2082c7' (2023-06-25)
  → 'github:numtide/flake-utils/ff7b65b44d01cf9ba6a71320833626af21126384' (2023-09-12)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/07059ee2fa34f1598758839b9af87eae7f7ae6ea' (2023-06-25)
  → 'github:nixos/nixpkgs/0bf3f5cf6a98b5d077cdcdb00a6d4b3d92bc78b5' (2023-11-19)

[SethTisue]

Is anyone in a position to approve or reject this?

[TonioGela]

Is anyone in a position to approve or reject this?

I have zero knowledge of how flakes or nix work; I'm waiting for someone more prepared than me to show up. I have merging rights @SethTisue, do you think we should merge it?

[SethTisue]

It isn't clear to me what this nix/flake stuff is even doing in the repo 🤷

Under the circumstances, and since no knowledgeable reviewers seem to be available, then sure, blindly merging seems like a good option 🤷

[armanbilge]

This nix flake provides a dev environment. You can read more about it here.
https://github.com/typelevel/typelevel-nix

If nobody actively working on this repo is using Nix (I don't, it's a niche crowd) then it's kind of yolo. I guess we could just remove it and stop getting the annoying updates.

[TonioGela]

This nix flake provides a dev environment. You can read more about it here. https://github.com/typelevel/typelevel-nix

If nobody actively working on this repo is using Nix (I don't, it's a niche crowd) then it's kind of yolo. I guess we could just remove it and stop getting the annoying updates.

So it's for developers? not final users? then I'll say YOLO let's merge it :)

[TonioGela]

This nix flake provides a dev environment. You can read more about it here. https://github.com/typelevel/typelevel-nix
If nobody actively working on this repo is using Nix (I don't, it's a niche crowd) then it's kind of yolo. I guess we could just remove it and stop getting the annoying updates.

So it's for developers? not final users? then I'll say YOLO let's merge it :)

Assuming that the answer to the question is "yes, this flake.lock file is used just by people who actively work on this project" and since no one added any bit of information about it, I'm stating that a considerable amount of time has passed and so I'll merge it to avoid further useless notifications. If it's an error we'll handle its consequences.