From b55eacaa268acc00353e85f5b7cd096754587a72 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Sun, 14 Dec 2025 12:09:45 +0000
Subject: [PATCH 1/2] deps/uv2nix: Set Version
 4cca323a547a1aaa9b94929c4901bed5343eafe8

---
 deps/uv2nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/uv2nix b/deps/uv2nix
index c901ea1a..1f04da19 100644
--- a/deps/uv2nix
+++ b/deps/uv2nix
@@ -1 +1 @@
-c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c
+4cca323a547a1aaa9b94929c4901bed5343eafe8

From e217ab44a44a3a9f1590d84f9a454b8f3c3d5478 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Sun, 14 Dec 2025 12:10:01 +0000
Subject: [PATCH 2/2] Set Version: 0.1.123

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 uv.lock         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package/version b/package/version
index aa3e2707..2c88ab23 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.122
+0.1.123
diff --git a/pyproject.toml b/pyproject.toml
index 72ecab42..ce140aa7 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.122"
+version = "0.1.123"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
index 013cb094..b4fef419 100644
--- a/uv.lock
+++ b/uv.lock
@@ -631,7 +631,7 @@ wheels = [
 
 [[package]]
 name = "kriscv"
-version = "0.1.122"
+version = "0.1.123"
 source = { editable = "." }
 dependencies = [
     { name = "filelock" },