Skip to content

Commit bac7164

Browse files
rv-auditorrv-auditor
committed
pyproject.toml: sync pyk version 7.1.270
1 parent f75ef5a commit bac7164

File tree

2 files changed

+18
-39
lines changed

2 files changed

+18
-39
lines changed

‎pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ description = "K tooling for the RISC-V architecture"
99
readme = "README.md"
1010
requires-python = "~=3.10"
1111
dependencies = [
12-
"kframework==7.1.268",
12+
"kframework==7.1.270",
1313
"filelock>=3.14.0,<4",
1414
"pyelftools>=0.26",
1515
"pyyaml>=6.0.1,<7",

‎uv.lock

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

0 commit comments

Comments
 (0)