Update dependency: deps/uv2nix (#746)

rv-jenkins · rv-auditor · web-flow · commit 00d2e9854b4c · 2026-02-01T20:46:36.000Z
* deps/uv2nix: Set Version 9d357f0d2ce6f5f35ec7959d7e704452352eb4da

* Set Version: 0.1.145

* Sync uv version: uv 0.9.22

* pykwasm/: sync uv files 7.1.289

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/uv2nix b/deps/uv2nix
@@ -1 +1 @@
-4cca323a547a1aaa9b94929c4901bed5343eafe8
+9d357f0d2ce6f5f35ec7959d7e704452352eb4da
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.9.14
+0.9.22
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -10,7 +10,7 @@
 
     flake-utils.follows = "k-framework/flake-utils";
 
-    uv2nix.url = "github:pyproject-nix/uv2nix/4cca323a547a1aaa9b94929c4901bed5343eafe8";
+    uv2nix.url = "github:pyproject-nix/uv2nix/9d357f0d2ce6f5f35ec7959d7e704452352eb4da";
     # 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
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.144
+0.1.145
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "pykwasm"
-version = "0.1.144"
+version = "0.1.145"
 description = ""
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-4cca323a547a1aaa9b94929c4901bed5343eafe8`
	`1`	`+9d357f0d2ce6f5f35ec7959d7e704452352eb4da`