Skip to content

Commit 30e4dbd

Browse files
rv-auditorrv-auditor
committed
pyproject.toml: sync pyk version 7.1.227
1 parent fac61cf commit 30e4dbd

File tree

2 files changed

+10
-5
lines changed

2 files changed

+10
-5
lines changed

‎poetry.lock

+9-4
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎pyproject.toml

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
1818

1919
[tool.poetry.dependencies]
2020
python = "^3.10"
21-
kframework = "7.1.226"
21+
kframework = "7.1.227"
2222
pyyaml = "^6.0.1"
2323
types-pyyaml = "^6.0.12.20240311"
2424
filelock = "^3.14.0"

0 commit comments

Comments
 (0)