Skip to content

Commit 81d5723

Browse files
rv-jenkinsrv-auditortothtamas28
authored
Update dependency: deps/k_release (#99)
Update `kframework` to `7.1.256`. --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]>
1 parent 66ddeca commit 81d5723

File tree

4 files changed

+182
-179
lines changed

4 files changed

+182
-179
lines changed

‎deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.249
1+
7.1.256

‎package/version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.78
1+
0.1.79

0 commit comments

Comments
 (0)