diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index 6379b9b3a..c9a1ce57b 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -27,7 +27,7 @@ jobs:
         run: |
           K_VERSION=$(cat ./deps/k_release)
           cd kmir
-          sed -i 's!    "kframework==v[0-9\.]*",!    "kframework==v'${K_VERSION}',"!' pyproject.toml
+          sed -i 's!    "kframework==v[0-9\.]*",!    "kframework==v'${K_VERSION}'",!' pyproject.toml
           uv lock --upgrade
           git add pyproject.toml uv.lock
           git commit -m 'kmir/{pyproject.toml,uv.lock}: sync uv files, K version '${K_VERSION} || true
diff --git a/deps/k_release b/deps/k_release
index 9862284e4..a13eeb5fd 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.241
+7.1.245
diff --git a/flake.lock b/flake.lock
index 8744006b3..74666d858 100644
--- a/flake.lock
+++ b/flake.lock
@@ -139,16 +139,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1744889111,
-        "narHash": "sha256-bKULrseiNuO7p63500OLsUirbbCh/IKN3iLTP0mem+M=",
+        "lastModified": 1745935377,
+        "narHash": "sha256-Js6ERqXqzT86180GNN+Qyh7IupDxe0f3uWUDfXC/V20=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "1c4657ea229e125e0b5388ec72af1e3dc59d4e8b",
+        "rev": "f04ad2cd94bfe58689670425280752db729f98df",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.241",
+        "ref": "v7.1.245",
         "repo": "k",
         "type": "github"
       }
@@ -170,16 +170,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1744640431,
-        "narHash": "sha256-JoX2gq43jmZJVEFb4urwr+rgcJrkZD0RDCWW3uF5FNE=",
+        "lastModified": 1745862770,
+        "narHash": "sha256-dIUmH96rZ138rYzsoVkUIXdVieQ98up1NEZ21yugJYE=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "cc461fdd76701f183af17ed1a2bdcff89d0677a2",
+        "rev": "21339e2cab6fa442980546959f0a74d91ccd158f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.130",
+        "ref": "v0.1.131",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index eb8bf6eb5..fff18c6e9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.241";
+    k-framework.url = "github:runtimeverification/k/v7.1.245";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index 3f8c31d6f..7d4528c5e 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -4,11 +4,11 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kmir"
-version = "0.3.124"
+version = "0.3.125"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.241",
+    "kframework==v7.1.245",
 ]
 
 [[project.authors]]
diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
index 10e10a41f..e70c6cb2e 100644
--- a/kmir/src/kmir/__init__.py
+++ b/kmir/src/kmir/__init__.py
@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.124'
+VERSION: Final = '0.3.125'
diff --git a/kmir/uv.lock b/kmir/uv.lock
index 35bd62301..2e1d3a991 100644
--- a/kmir/uv.lock
+++ b/kmir/uv.lock
@@ -496,7 +496,7 @@ wheels = [
 
 [[package]]
 name = "kframework"
-version = "7.1.241"
+version = "7.1.245"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "cmd2" },
@@ -513,14 +513,14 @@ dependencies = [
     { name = "tomli" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/bd/2f/60f464ee6c5926a32c9477fbc2f3e87037de4a3e36387c669d8f9d119dfa/kframework-7.1.241.tar.gz", hash = "sha256:a854693ea2eff38795bf1fb7ea3c65131c78a2f979899a4803e7f1394e1d84c5", size = 243793, upload_time = "2025-04-17T12:02:10.96Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/b4/07/5b2ecd370152a75489467b916aac13bb01f2ad7a5c01df71efb31a7719be/kframework-7.1.245.tar.gz", hash = "sha256:08e4ef66d48086a59a9d1e8dd1a83211425969fe1947c13ba15c53e869b4d481", size = 243826, upload_time = "2025-04-29T14:36:40.678Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/d6/e4/b09b39655b57f9e1aaaefa00ac92917f5c448a76e103e1e23e18bdb10d8e/kframework-7.1.241-py3-none-any.whl", hash = "sha256:e491e7165801dd9b54801ac2d325495110127f283862ea3050415991bb3be1c4", size = 295527, upload_time = "2025-04-17T12:02:09.578Z" },
+    { url = "https://files.pythonhosted.org/packages/83/5f/20daad01fe6ad8b1e99d5542668b33c1ab174a8a3e37315b61b017e72b94/kframework-7.1.245-py3-none-any.whl", hash = "sha256:eb2169ab027c454cc64c5c0838129f88d82b86c06697a2d17e5752ed2c720dae", size = 295554, upload_time = "2025-04-29T14:36:38.96Z" },
 ]
 
 [[package]]
 name = "kmir"
-version = "0.3.124"
+version = "0.3.125"
 source = { editable = "." }
 dependencies = [
     { name = "kframework" },
@@ -546,7 +546,7 @@ dev = [
 ]
 
 [package.metadata]
-requires-dist = [{ name = "kframework", specifier = "==7.1.241" }]
+requires-dist = [{ name = "kframework", specifier = "==7.1.245" }]
 
 [package.metadata.requires-dev]
 dev = [
diff --git a/package/version b/package/version
index 6c93e0fd9..7b050f82c 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.3.124
+0.3.125