Skip to content

Commit ed86782

Browse files
committed
0.4.0 --- follow openkal 0.10
⚠️ A REPIN AND NOTHING ELSE, AND IT IS NOT OPTIONAL. openkal 0.10 adds five declarations, all of them to interfaces this implementation does not provide --- so nothing here has anything to implement. What is not optional is the version. A version requirement in this ecosystem is EXACT and does not float up, and `openkal' is the shared dependency of every package in the graph. An implementation left at 0.9.0 while a consumer moves to 0.10.0 does not get its own older contract: the two are irreconcilable and nothing resolves at all. So a specification revision moves the whole graph or none of it, and this package is part of the graph.
1 parent 2de1beb commit ed86782

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

mcpp.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ repo = "https://github.com/mcpplibs/openkal-opensbi"
3333
# The contract, not an implementation of it. Declaring it turns a version
3434
# mismatch into a resolution-time message rather than a link-time one.
3535
[dependencies]
36-
openkal = "0.9.0"
36+
openkal = "0.10.0"
3737

3838
# ⭐ WHAT RECEIVES CONTROL, WHICH IS A STATEMENT ABOUT THE PROGRAM.
3939
#

0 commit comments

Comments
 (0)