Skip to content

Commit c96e09f

Browse files
rv-auditorrv-auditor
committed
Sync Poetry files: kframework 7.1.204
1 parent 4351bee commit c96e09f

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

‎poetry.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.

‎pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ imp-semantics = "kimp.kdist.plugin"
1818

1919
[tool.poetry.dependencies]
2020
python = "^3.10"
21-
kframework = "7.1.203"
21+
kframework = "7.1.204"
2222

2323
[tool.poetry.group.dev.dependencies]
2424
autoflake = "*"

0 commit comments

Comments
 (0)