deps/k: sync K submodule version v6.1.61 · runtimeverification/proof-generation@bef33ac

This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Commit

deps/k: sync K submodule version v6.1.61

Browse files

devops committed Dec 15, 2023

1 parent d9c17d7 commit bef33ac

+1 −1		install-k
+8 −0		k-distribution/tests/regression-new/checks/checkParametricSort.k
+5 −0		k-distribution/tests/regression-new/checks/checkParametricSort.k.out
+14 −2		kore/src/main/scala/org/kframework/definition/outer.scala
+1 −1		package/debian/changelog
+1 −1		package/version