Commit 6f27d82

authored

Update dependency: deps/k_release (#43)

Update `kframework` to `7.1.257`. * Includes update according to runtimeverification/k#4808 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

1 parent 8040226 commit 6f27d82Copy full SHA for 6f27d82

4 files changed

deps
- k_release
poetry.lock
pyproject.toml
src/kimp
- kimp.py

`‎deps/k_release‎`

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-7.1.247`
	`1`	`+7.1.257`

Comments

(0)