Skip to content

Commit 26d76f2

Browse files
rv-auditorrv-auditor
committed
pyproject.toml: sync pyk version 7.1.301
1 parent 5ee15f0 commit 26d76f2

2 files changed

Lines changed: 19 additions & 21 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.300",
12+
"kframework==7.1.301",
1313
"filelock>=3.14.0,<4",
1414
"pyelftools>=0.26",
1515
"pyyaml>=6.0.1,<7",

‎uv.lock‎

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

0 commit comments

Comments
 (0)