Update dependency: deps/k_release (#536)

- A small fix to an error in the `sed` expression introduced here:
#537

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>

Author: 3 people

.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

deps/k_release

@@ -1 +1 @@
-7.1.241
+7.1.245

flake.lock

@@ -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";

flake.nix

@@ -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]]

kmir/pyproject.toml

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.124'
+VERSION: Final = '0.3.125'

kmir/src/kmir/__init__.py

@@ -1 +1 @@
-0.3.124
+0.3.125