From 0a9b7cc9a42f24d06226a0e75bf34060c9a0d67b Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 14 Jan 2026 12:10:45 +0000
Subject: [PATCH 1/2] deps/uv2nix: Set Version
 9d357f0d2ce6f5f35ec7959d7e704452352eb4da

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

diff --git a/deps/uv2nix b/deps/uv2nix
index 1f04da19..e67baffb 100644
--- a/deps/uv2nix
+++ b/deps/uv2nix
@@ -1 +1 @@
-4cca323a547a1aaa9b94929c4901bed5343eafe8
+9d357f0d2ce6f5f35ec7959d7e704452352eb4da

From 13617dffd6499ab3a0f793ca495f358e41009382 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 14 Jan 2026 12:10:59 +0000
Subject: [PATCH 2/2] Set Version: 0.1.125

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

diff --git a/package/version b/package/version
index 98eb2715..5076ee80 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.124
+0.1.125
diff --git a/pyproject.toml b/pyproject.toml
index 3503146a..872b93f5 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.124"
+version = "0.1.125"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
index 3f90dae9..2bef8763 100644
--- a/uv.lock
+++ b/uv.lock
@@ -509,7 +509,7 @@ name = "exceptiongroup"
 version = "1.3.1"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
-    { name = "typing-extensions", marker = "python_full_version < '3.13'" },
+    { name = "typing-extensions", marker = "python_full_version < '3.11'" },
 ]
 sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" }
 wheels = [
@@ -719,7 +719,7 @@ wheels = [
 
 [[package]]
 name = "kriscv"
-version = "0.1.124"
+version = "0.1.125"
 source = { editable = "." }
 dependencies = [
     { name = "filelock" },