From 7de0178979c532ae2067a738234e46098ba46ffc Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 30 Jan 2026 16:01:17 +0000 Subject: [PATCH 1/3] deps/k_release: Set Version 7.1.313 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 92624213c..95b7dbc14 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.312 +7.1.313 From dca10fef996a03d7ecb71ad4ed06da75bf754167 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 31 Jan 2026 04:10:32 +0000 Subject: [PATCH 2/3] kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.313 --- kmir/pyproject.toml | 2 +- kmir/uv.lock | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 7043d9a84..585012ab7 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -8,7 +8,7 @@ version = "0.3.181" description = "" requires-python = ">=3.10" dependencies = [ - "kframework==v7.1.312", + "kframework==v7.1.313", "rust-demangler==1.0", ] diff --git a/kmir/uv.lock b/kmir/uv.lock index ece689648..750ad793e 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -536,7 +536,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.312" +version = "7.1.313" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -553,9 +553,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/c2/05/3d8f05e4f5f94155c901f0d237c533bc3b3f0d2ec161fa7bc3ba851cabef/kframework-7.1.312.tar.gz", hash = "sha256:4828f4d95c0014876cce4b417e62f475ab76e79304b4e78490a76a982943bc3b", size = 243274, upload-time = "2026-01-30T13:11:10.761Z" } +sdist = { url = "https://files.pythonhosted.org/packages/a7/18/6d044d1b811af1ad389e660e3983951fa0cf8bce024a1758b28fcb0fb6f0/kframework-7.1.313.tar.gz", hash = "sha256:0f789bb179b1a84736c8bf4ece81e34c4df43157bffdf54c97a41d84aa87757f", size = 243276, upload-time = "2026-01-30T16:00:44.161Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/ac/71/fe3895adefcad83bca767a0f8b7b2759b8a95db5ee413f682b6b2a91b888/kframework-7.1.312-py3-none-any.whl", hash = "sha256:dcb43fdd486fa0a8871dbba9ee2367d66a314c7dddbe8cbc9033bce01d765c5a", size = 294467, upload-time = "2026-01-30T13:11:09.047Z" }, + { url = "https://files.pythonhosted.org/packages/f0/63/f6e4ed348d77fe72b6bfd285cb3a100843e316c4c035203fe283b9800aa3/kframework-7.1.313-py3-none-any.whl", hash = "sha256:488e3983d3e62b277f0505e0ccc4b470c73d1e68a9c7ce327f2f6881fcce115a", size = 294467, upload-time = "2026-01-30T16:00:42.823Z" }, ] [[package]] @@ -588,7 +588,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = "==7.1.312" }, + { name = "kframework", specifier = "==7.1.313" }, { name = "rust-demangler", specifier = "==1.0" }, ] @@ -1285,7 +1285,7 @@ wheels = [ [[package]] name = "textual" -version = "7.4.0" +version = "7.5.0" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "markdown-it-py", extra = ["linkify"] }, @@ -1295,9 +1295,9 @@ dependencies = [ { name = "rich" }, { name = "typing-extensions" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/64/8d/2fbd6b8652f4cabf9cb0852d7af1aa45b6cad32d0f50735856e8f9e41719/textual-7.4.0.tar.gz", hash = "sha256:1a9598e485492f9a8f033c7ec5e59528df3ab0742fda925681acf78b0fb210de", size = 1592252, upload-time = "2026-01-25T19:57:04.624Z" } +sdist = { url = "https://files.pythonhosted.org/packages/9f/38/7d169a765993efde5095c70a668bf4f5831bb7ac099e932f2783e9b71abf/textual-7.5.0.tar.gz", hash = "sha256:c730cba1e3d704e8f1ca915b6a3af01451e3bca380114baacf6abf87e9dac8b6", size = 1592319, upload-time = "2026-01-30T13:46:39.881Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/ab/9c/4169ccffed6d53f78e3175eae0cd649990071c6e24b6ad8830812ebab726/textual-7.4.0-py3-none-any.whl", hash = "sha256:41a066cae649654d4ecfe53b8316f5737c0042d1693ce50690b769a7840780ac", size = 717985, upload-time = "2026-01-25T19:57:02.966Z" }, + { url = "https://files.pythonhosted.org/packages/9c/78/96ddb99933e11d91bc6e05edae23d2687e44213066bcbaca338898c73c47/textual-7.5.0-py3-none-any.whl", hash = "sha256:849dfee9d705eab3b2d07b33152b7bd74fb1f5056e002873cc448bce500c6374", size = 718164, upload-time = "2026-01-30T13:46:37.635Z" }, ] [[package]] From 732563d425dae2f6acc0280cf1a1152462be18b6 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 31 Jan 2026 04:10:58 +0000 Subject: [PATCH 3/3] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/flake.lock b/flake.lock index ccc25754f..d1255ce6a 100644 --- a/flake.lock +++ b/flake.lock @@ -84,16 +84,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1766096660, - "narHash": "sha256-24JmbYCGOe/KkRLsVlY4f1tdPrYBID/VJBMNKrnTGQM=", + "lastModified": 1769721341, + "narHash": "sha256-tHHaCWhdBXAeIeOoRqwLke+PkfYflFD9wH7a4Q+iCis=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "576d398041ce927ccc97cfa71de89c20634bd453", + "rev": "bf7eaa523d856ac0c0fe72109cb35034338b885b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.144", + "ref": "v0.1.145", "repo": "haskell-backend", "type": "github" } @@ -136,16 +136,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1769776319, - "narHash": "sha256-S1fKnin4g/Ia+d5ptPjuOjgdZP+fj/bBsSqtFwDlFkQ=", + "lastModified": 1769785698, + "narHash": "sha256-bR5Bqemv2fKZpgLuEL5Unvis/liF8wzXsxCja5VL9Jo=", "owner": "runtimeverification", "repo": "k", - "rev": "26d6ef2472597fb72d6e1bffac95db0d40d96f3d", + "rev": "fafe05e8ff3cf520c72afd4b0d156a142e6d59ed", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.312", + "ref": "v7.1.313", "repo": "k", "type": "github" } @@ -197,11 +197,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1768127708, - "narHash": "sha256-1Sm77VfZh3mU0F5OqKABNLWxOuDeHIlcFjsXeeiPazs=", + "lastModified": 1769461804, + "narHash": "sha256-msG8SU5WsBUfVVa/9RPLaymvi5bI8edTavbIq3vRlhI=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ffbc9f8cbaacfb331b6017d5a5abb21a492c9a38", + "rev": "bfc1b8a4574108ceef22f02bafcf6611380c100d", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 19d9f3358..183d250ac 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ inputs.flake-utils.follows = "flake-utils"; }; - k-framework.url = "github:runtimeverification/k/v7.1.312"; + k-framework.url = "github:runtimeverification/k/v7.1.313"; k-framework = { inputs.flake-utils.follows = "flake-utils"; inputs.nixpkgs.follows = "nixpkgs";