Skip to content

Commit 94eedfb

Browse files
rv-auditorrv-auditor
committed
pyproject.toml: sync pyk version 7.1.255
1 parent 8a17371 commit 94eedfb

2 files changed

Lines changed: 16 additions & 16 deletions

File tree

‎poetry.lock‎

Lines changed: 15 additions & 15 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
@@ -19,7 +19,7 @@ riscv-semantics = "kriscv.kdist.plugin"
1919

2020
[tool.poetry.dependencies]
2121
python = "^3.10"
22-
kframework = "7.1.254"
22+
kframework = "7.1.255"
2323
pyyaml = "^6.0.1"
2424
types-pyyaml = "^6.0.12.20240311"
2525
filelock = "^3.14.0"

0 commit comments

Comments
 (0)