Skip to content

Commit 9fe64ec

Browse files
committed
flake.{nix,lock}: update Nix derivations
1 parent 0a943a8 commit 9fe64ec

File tree

2 files changed

+8
-8
lines changed

2 files changed

+8
-8
lines changed

flake.lock

Lines changed: 7 additions & 7 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
flake-utils.url = "github:numtide/flake-utils";
88
k-framework.url = "github:runtimeverification/k/v7.1.280";
99
k-framework.inputs.nixpkgs.follows = "nixpkgs";
10-
uv2nix.url = "github:pyproject-nix/uv2nix/680e2f8e637bc79b84268949d2f2b2f5e5f1d81c";
10+
uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb";
1111
# stale nixpkgs is missing the alias `lib.match` -> `builtins.match`
1212
# therefore point uv2nix to a patched nixpkgs, which introduces this alias
1313
# this is a temporary solution until nixpkgs us up-to-date again

0 commit comments

Comments
 (0)