From d0b0ccfd22d911e6f8b5b6242802a669b4ab1ca8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 10:01:33 +0000 Subject: [PATCH 01/13] deps/k_release: Set Version 7.1.242 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9862284e4..b3ce64b37 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.241 +7.1.242 From e4b0809f1eb5cd7199506a1bbb842f039bed54c7 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 10:02:56 +0000 Subject: [PATCH 02/13] Set Version: 0.3.124 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index db2d8a209..c232be20e 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.3.123" +version = "0.3.124" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 617d50163..10e10a41f 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.123' +VERSION: Final = '0.3.124' diff --git a/package/version b/package/version index 07e28cb52..6c93e0fd9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.3.123 +0.3.124 From a907d6a095a8d9e0ccb833d4ca18f89bf2f39f15 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 10:04:49 +0000 Subject: [PATCH 03/13] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 44 ++++++++++++++++++++++---------------------- kmir/pyproject.toml | 2 +- 2 files changed, 23 insertions(+), 23 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 52117345c..12b936b00 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -120,14 +120,14 @@ uvloop = ["uvloop (>=0.15.2)"] [[package]] name = "certifi" -version = "2025.1.31" +version = "2025.4.26" description = "Python package for providing Mozilla's CA Bundle." category = "main" optional = false python-versions = ">=3.6" files = [ - {file = "certifi-2025.1.31-py3-none-any.whl", hash = "sha256:ca78db4565a652026a4db2bcdf68f2fb589ea80d0be70e03929ed730746b84fe"}, - {file = "certifi-2025.1.31.tar.gz", hash = "sha256:3d5da6925056f6f18f119200434a4780a94263f10d1c21d032a6f6b2baa20651"}, + {file = "certifi-2025.4.26-py3-none-any.whl", hash = "sha256:30350364dfe371162649852c63336a15c70c6510c2ad5015b21c2345311805f3"}, + {file = "certifi-2025.4.26.tar.gz", hash = "sha256:0a816057ea3cdefcef70270d2c515e4506bbc954f417fa5ade2021213bb8f0c6"}, ] [[package]] @@ -623,14 +623,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.131.6" +version = "6.131.9" description = "A library for property-based testing" category = "main" optional = false python-versions = ">=3.9" files = [ - {file = "hypothesis-6.131.6-py3-none-any.whl", hash = "sha256:c15e09a0698f89d9431b97a9e1645ac8ed73167d0fb97b3589bbce6d15cb5296"}, - {file = "hypothesis-6.131.6.tar.gz", hash = "sha256:3d7ceb300be5f47b4023021bcf0e6e0c7b7e8dcf304a381dd10238a1cfbd0ba2"}, + {file = "hypothesis-6.131.9-py3-none-any.whl", hash = "sha256:7c2d9d6382e98e5337b27bd34e5b223bac23956787a827e1d087e00d893561d6"}, + {file = "hypothesis-6.131.9.tar.gz", hash = "sha256:ee9b0e1403e1121c91921dbdc79d7f509fdb96d457a0389222d2a68d6c8a8f8e"}, ] [package.dependencies] @@ -639,10 +639,10 @@ exceptiongroup = {version = ">=1.0.0", markers = "python_version < \"3.11\""} sortedcontainers = ">=2.1.0,<3.0.0" [package.extras] -all = ["black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.85)", "django (>=4.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.20)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.19.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2025.2)", "watchdog (>=4.0.0)"] +all = ["black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.86)", "django (>=4.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.22)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.19.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2025.2)", "watchdog (>=4.0.0)"] cli = ["black (>=19.10b0)", "click (>=7.0)", "rich (>=9.0.0)"] codemods = ["libcst (>=0.3.16)"] -crosshair = ["crosshair-tool (>=0.0.85)", "hypothesis-crosshair (>=0.0.20)"] +crosshair = ["crosshair-tool (>=0.0.86)", "hypothesis-crosshair (>=0.0.22)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=4.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -673,14 +673,14 @@ all = ["flake8 (>=7.1.1)", "mypy (>=1.11.2)", "pytest (>=8.3.2)", "ruff (>=0.6.2 [[package]] name = "importlib-metadata" -version = "8.6.1" +version = "8.7.0" description = "Read metadata from Python packages" category = "main" optional = false python-versions = ">=3.9" files = [ - {file = "importlib_metadata-8.6.1-py3-none-any.whl", hash = "sha256:02a89390c1e15fdfdc0d7c6b25cb3e62650d0494005c97d6f148bf5b9787525e"}, - {file = "importlib_metadata-8.6.1.tar.gz", hash = "sha256:310b41d755445d74569f993ccfc22838295d9fe005425094fad953d7f15c8580"}, + {file = "importlib_metadata-8.7.0-py3-none-any.whl", hash = "sha256:e5dd1551894c77868a30651cef00984d50e1002d06942a7101d34870c5f02afd"}, + {file = "importlib_metadata-8.7.0.tar.gz", hash = "sha256:d13b81ad223b890aa16c5471f2ac3056cf76c5f10f82d6f9292f0b415f389000"}, ] [package.dependencies] @@ -743,14 +743,14 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.241" +version = "7.1.242" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.241-py3-none-any.whl", hash = "sha256:e491e7165801dd9b54801ac2d325495110127f283862ea3050415991bb3be1c4"}, - {file = "kframework-7.1.241.tar.gz", hash = "sha256:a854693ea2eff38795bf1fb7ea3c65131c78a2f979899a4803e7f1394e1d84c5"}, + {file = "kframework-7.1.242-py3-none-any.whl", hash = "sha256:85d97929b28b691d0436cebd5842f88c46edd9747b8f878a82425a51a5f0bc47"}, + {file = "kframework-7.1.242.tar.gz", hash = "sha256:5c477a1dd180545a7a6228c4515789ef0539f098a1b305e11fb04ab564b28ea3"}, ] [package.dependencies] @@ -987,14 +987,14 @@ reports = ["lxml"] [[package]] name = "mypy-extensions" -version = "1.0.0" +version = "1.1.0" description = "Type system extensions for programs checked with the mypy type checker." category = "dev" optional = false -python-versions = ">=3.5" +python-versions = ">=3.8" files = [ - {file = "mypy_extensions-1.0.0-py3-none-any.whl", hash = "sha256:4392f6c0eb8a5668a69e23d168ffa70f0be9ccfd32b5cc2d26a34ae5b844552d"}, - {file = "mypy_extensions-1.0.0.tar.gz", hash = "sha256:75dbf8955dc00442a438fc4d0666508a9a97b6bd41aa2f0ffe9d2f2725af0782"}, + {file = "mypy_extensions-1.1.0-py3-none-any.whl", hash = "sha256:1be4cccdb0f2482337c4743e60421de3a356cd97508abadd57d47403e94f5505"}, + {file = "mypy_extensions-1.1.0.tar.gz", hash = "sha256:52e68efc3284861e772bbcd66823fde5ae21fd2fdb51c62a211403730b916558"}, ] [[package]] @@ -1434,14 +1434,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "79.0.0" +version = "80.0.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" category = "dev" optional = false python-versions = ">=3.9" files = [ - {file = "setuptools-79.0.0-py3-none-any.whl", hash = "sha256:b9ab3a104bedb292323f53797b00864e10e434a3ab3906813a7169e4745b912a"}, - {file = "setuptools-79.0.0.tar.gz", hash = "sha256:9828422e7541213b0aacb6e10bbf9dd8febeaa45a48570e09b6d100e063fc9f9"}, + {file = "setuptools-80.0.0-py3-none-any.whl", hash = "sha256:a38f898dcd6e5380f4da4381a87ec90bd0a7eec23d204a5552e80ee3cab6bd27"}, + {file = "setuptools-80.0.0.tar.gz", hash = "sha256:c40a5b3729d58dd749c0f08f1a07d134fb8a0a3d7f87dc33e7c5e1f762138650"}, ] [package.extras] @@ -1668,4 +1668,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c9e08e3c0b5dec6cd7f3f0e9a08a24eb190036bccba60d9caebbc7e618e951d1" +content-hash = "daf98c2ea79979aba91b004b624eb8dcb830636e01a36ae6d4b0a010bb221bfd" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index c232be20e..230a59bbd 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmir = "kmir.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kframework = "7.1.241" +kframework = "7.1.242" [tool.poetry.group.dev.dependencies] autoflake = "*" From 3d00c435529ff8b5bbe5eaf89df9468ead274de1 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 10:05:03 +0000 Subject: [PATCH 04/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 8744006b3..13e48d990 100644 --- a/flake.lock +++ b/flake.lock @@ -139,16 +139,16 @@ ] }, "locked": { - "lastModified": 1744889111, - "narHash": "sha256-bKULrseiNuO7p63500OLsUirbbCh/IKN3iLTP0mem+M=", + "lastModified": 1745830967, + "narHash": "sha256-3YtG9iAFeV9c+XcoMlaSUc4LRO+mxhZgwvi2qKVFM6s=", "owner": "runtimeverification", "repo": "k", - "rev": "1c4657ea229e125e0b5388ec72af1e3dc59d4e8b", + "rev": "af452c6dd1b9a1f2aa4a43de742c5c986fc95586", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.241", + "ref": "v7.1.242", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index eb8bf6eb5..a532fa303 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.242"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 42e31905eb623882b6660d87bbba978bf43d3404 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 13:58:31 +0000 Subject: [PATCH 05/13] deps/k_release: Set Version 7.1.243 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b3ce64b37..7d85e2bab 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.242 +7.1.243 From 457ad6024ae9ab5f9c91067388d2580f90b1e827 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 19:43:07 +0000 Subject: [PATCH 06/13] deps/k_release: Set Version 7.1.244 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7d85e2bab..c357ea4d1 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.243 +7.1.244 From 2d348a33d4b1dd7f25c8699982b0e6c1fec4334a Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 19:43:45 +0000 Subject: [PATCH 07/13] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 8 ++++---- kmir/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 12b936b00..d452f0839 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -743,14 +743,14 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.242" +version = "7.1.244" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.242-py3-none-any.whl", hash = "sha256:85d97929b28b691d0436cebd5842f88c46edd9747b8f878a82425a51a5f0bc47"}, - {file = "kframework-7.1.242.tar.gz", hash = "sha256:5c477a1dd180545a7a6228c4515789ef0539f098a1b305e11fb04ab564b28ea3"}, + {file = "kframework-7.1.244-py3-none-any.whl", hash = "sha256:711917d2de805889c0c8e7ae6d40fe1f044be19a3a9536e385c8ed92ccc66e9d"}, + {file = "kframework-7.1.244.tar.gz", hash = "sha256:1f3b98391ea762aac27c1474101354eb5e50d99bdfd088f9b6b1a34e2a0d95e5"}, ] [package.dependencies] @@ -1668,4 +1668,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "daf98c2ea79979aba91b004b624eb8dcb830636e01a36ae6d4b0a010bb221bfd" +content-hash = "c7341bcc02b48700bc791b6fd22f31f82862f346dd0b703fdf95f24806246e61" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 230a59bbd..7d62f0559 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmir = "kmir.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kframework = "7.1.242" +kframework = "7.1.244" [tool.poetry.group.dev.dependencies] autoflake = "*" From d4bdb9e413ab3e4d4413ec89e85c6afbfeea5755 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 28 Apr 2025 19:44:08 +0000 Subject: [PATCH 08/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index 13e48d990..95f9c45ad 100644 --- a/flake.lock +++ b/flake.lock @@ -139,16 +139,16 @@ ] }, "locked": { - "lastModified": 1745830967, - "narHash": "sha256-3YtG9iAFeV9c+XcoMlaSUc4LRO+mxhZgwvi2qKVFM6s=", + "lastModified": 1745867333, + "narHash": "sha256-r1B5WXQYMtbH+1LyPFCx3j9xstrKtn0gSaYJyxwnGeE=", "owner": "runtimeverification", "repo": "k", - "rev": "af452c6dd1b9a1f2aa4a43de742c5c986fc95586", + "rev": "9922ec2536765c1370fd83914a006961d9149326", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.242", + "ref": "v7.1.244", "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 a532fa303..fc9364e8d 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "kmir - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.242"; + k-framework.url = "github:runtimeverification/k/v7.1.244"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From a9a3dc3ac5cb2df82a68b63e5dd89e326e163120 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 29 Apr 2025 14:37:21 +0000 Subject: [PATCH 09/13] deps/k_release: Set Version 7.1.245 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c357ea4d1..a13eeb5fd 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.244 +7.1.245 From 3ad6eb8a17bec856dec12dc35287071b4f8cb953 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 29 Apr 2025 14:42:52 +0000 Subject: [PATCH 10/13] Set Version: 0.3.125 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 9b9cb8498..f23a405cf 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kmir" -version = "0.3.124" +version = "0.3.125" description = "" requires-python = "~=3.10" dependencies = [ 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/package/version b/package/version index 6c93e0fd9..7b050f82c 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.3.124 +0.3.125 From 84913d870cd1559650d8750afe62a358b1a6acba Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 29 Apr 2025 14:43:15 +0000 Subject: [PATCH 11/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 95f9c45ad..74666d858 100644 --- a/flake.lock +++ b/flake.lock @@ -139,16 +139,16 @@ ] }, "locked": { - "lastModified": 1745867333, - "narHash": "sha256-r1B5WXQYMtbH+1LyPFCx3j9xstrKtn0gSaYJyxwnGeE=", + "lastModified": 1745935377, + "narHash": "sha256-Js6ERqXqzT86180GNN+Qyh7IupDxe0f3uWUDfXC/V20=", "owner": "runtimeverification", "repo": "k", - "rev": "9922ec2536765c1370fd83914a006961d9149326", + "rev": "f04ad2cd94bfe58689670425280752db729f98df", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.244", + "ref": "v7.1.245", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index fc9364e8d..fff18c6e9 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "kmir - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.244"; + 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"; From db7506c53031bcc97c5cb1396b2b78be61cdc30f Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Tue, 29 Apr 2025 15:02:54 +0000 Subject: [PATCH 12/13] .github/update-version: correct sed expression --- .github/workflows/update-version.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From a42c156f5ec673cb30d253381127e8fd748c82d8 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 29 Apr 2025 15:03:22 +0000 Subject: [PATCH 13/13] kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.245 --- kmir/pyproject.toml | 2 +- kmir/uv.lock | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index f23a405cf..7d4528c5e 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -8,7 +8,7 @@ version = "0.3.125" description = "" requires-python = "~=3.10" dependencies = [ - "kframework==v7.1.244", + "kframework==v7.1.245", ] [[project.authors]] diff --git a/kmir/uv.lock b/kmir/uv.lock index f3d4f6142..2e1d3a991 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -496,7 +496,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.244" +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/7a/2e/12a83509dd3f9e780484a42bfdf8b3e1071e464faaad367ae51122e1fbb2/kframework-7.1.244.tar.gz", hash = "sha256:1f3b98391ea762aac27c1474101354eb5e50d99bdfd088f9b6b1a34e2a0d95e5", size = 243797, upload_time = "2025-04-28T19:42:30.463Z" } +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/6b/93/701c0864b42746c85b0071982a15a0653604ceead9c18783b64957c49c09/kframework-7.1.244-py3-none-any.whl", hash = "sha256:711917d2de805889c0c8e7ae6d40fe1f044be19a3a9536e385c8ed92ccc66e9d", size = 295527, upload_time = "2025-04-28T19:42:29.062Z" }, + { 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.244" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.245" }] [package.metadata.requires-dev] dev = [