Skip to content
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/uv2nix
Original file line number Diff line number Diff line change
@@ -1 +1 @@
c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c
4cca323a547a1aaa9b94929c4901bed5343eafe8
2 changes: 1 addition & 1 deletion deps/uv_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.9.9
0.9.14
14 changes: 7 additions & 7 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
inputs.nixpkgs.follows = "nixpkgs";
};
haskell-backend.follows = "k-framework/haskell-backend";
uv2nix.url = "github:pyproject-nix/uv2nix/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c";
uv2nix.url = "github:pyproject-nix/uv2nix/4cca323a547a1aaa9b94929c4901bed5343eafe8";
# uv2nix requires a newer version of nixpkgs
# therefore, we pin uv2nix specifically to a newer version of nixpkgs
# until we replaced our stale version of nixpkgs with an upstream one as well
Expand Down
Loading