Skip to content

Commit b705e20

Browse files
rv-auditorrv-auditor
committed
pyproject.toml: sync pyk version 7.1.304
1 parent f06ec47 commit b705e20

2 files changed

Lines changed: 6 additions & 6 deletions

File tree

‎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.302",
12+
"kframework==7.1.304",
1313
"filelock>=3.14.0,<4",
1414
"pyelftools>=0.26",
1515
"pyyaml>=6.0.1,<7",

‎uv.lock‎

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

0 commit comments

Comments
 (0)