Skip to content

Commit f7e431b

Browse files
juliankunersjuliankuners
authored
Merge branch 'master' into _update-deps/runtimeverification/blockchain-k-plugin
2 parents fda1b4f + 4ef9edf commit f7e431b

File tree

5 files changed

+92
-67
lines changed

5 files changed

+92
-67
lines changed

‎deps/uv2nix‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
be511633027f67beee87ab499f7b16d0a2f7eceb
1+
b6ed0901aec29583532abe65117b18d86a49b617

‎deps/uv_release‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.8.22
1+
0.9.2

‎flake.lock‎

Lines changed: 4 additions & 4 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
@@ -15,7 +15,7 @@
1515
inputs.nixpkgs.follows = "nixpkgs";
1616
};
1717
haskell-backend.follows = "k-framework/haskell-backend";
18-
uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb";
18+
uv2nix.url = "github:pyproject-nix/uv2nix/b6ed0901aec29583532abe65117b18d86a49b617";
1919
# uv2nix requires a newer version of nixpkgs
2020
# therefore, we pin uv2nix specifically to a newer version of nixpkgs
2121
# until we replaced our stale version of nixpkgs with an upstream one as well

0 commit comments

Comments
 (0)