Skip to content

Commit 8cae56f

Browse files
rv-jenkinsrv-auditordkcumming
authored
Update dependency: deps/k_release (#599)
Co-authored-by: devops <[email protected]> Co-authored-by: Daniel Cumming <[email protected]>
1 parent de365f2 commit 8cae56f

File tree

7 files changed

+146
-121
lines changed

7 files changed

+146
-121
lines changed

deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.258
1+
7.1.259

flake.lock

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
description = "kmir - ";
33
inputs = {
4-
k-framework.url = "github:runtimeverification/k/v7.1.258";
4+
k-framework.url = "github:runtimeverification/k/v7.1.259";
55
nixpkgs.follows = "k-framework/nixpkgs";
66
flake-utils.follows = "k-framework/flake-utils";
77
rv-utils.follows = "k-framework/rv-utils";

kmir/pyproject.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,11 +4,11 @@ build-backend = "hatchling.build"
44

55
[project]
66
name = "kmir"
7-
version = "0.3.180"
7+
version = "0.3.181"
88
description = ""
99
requires-python = "~=3.10"
1010
dependencies = [
11-
"kframework==v7.1.258",
11+
"kframework==v7.1.259",
1212
]
1313

1414
[[project.authors]]

kmir/src/kmir/__init__.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
from typing import Final
22

3-
VERSION: Final = '0.3.180'
3+
VERSION: Final = '0.3.181'

kmir/uv.lock

Lines changed: 136 additions & 111 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package/version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.3.180
1+
0.3.181

0 commit comments

Comments
 (0)