From 7bf80b34fbffa002d560498af583c44837ee3961 Mon Sep 17 00:00:00 2001
From: sunrisepeak <speakshen@163.com>
Date: Thu, 20 Aug 2026 11:42:19 +0800
Subject: [PATCH] release: supersede the version that was published with files
 that are not the package

The previous version was tagged, released and mirrored, and then found to carry
two files that describe a machine rather than the package. Removing them changes
what the package is, and a published artifact cannot be changed: the mirror
allows neither replacing an asset nor deleting a release, which is the property
that makes a pinned sha256 mean something.

So the cleaned tree is a new version rather than a second meaning for the old
one. The old tag stands, is consistent in both regions, and is not carried by the
index; this is the version the index carries.

That is what a patch version is for, and the sequence is the reason the index is
the last gate rather than a parallel one: nothing had been written there yet, so
nothing has to be withdrawn.
---
 README.md             | 8 ++++----
 conformance/mcpp.toml | 4 ++--
 mcpp.toml             | 2 +-
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index c76b655..828b195 100644
--- a/README.md
+++ b/README.md
@@ -57,16 +57,16 @@ conditional on the target.
 
 ```toml
 [dependencies]
-openkal = "0.5.0"
+openkal = "0.5.1"
 
 [target.'cfg(os = "linux")'.dependencies]
-openkal-linux = "0.5.0"
+openkal-linux = "0.5.1"
 
 [target.'cfg(os = "macos")'.dependencies]
-openkal-macos = "0.3.0"
+openkal-macos = "0.3.1"
 
 [target.'cfg(windows)'.dependencies]
-openkal-windows = "0.1.0"
+openkal-windows = "0.1.1"
 ```
 
 The program imports the interface and names no implementation.
diff --git a/conformance/mcpp.toml b/conformance/mcpp.toml
index 320792b..7899d4f 100644
--- a/conformance/mcpp.toml
+++ b/conformance/mcpp.toml
@@ -1,7 +1,7 @@
 [package]
 namespace   = "mcpplibs"
 name        = "openkal-conformance"
-version     = "0.5.0"
+version     = "0.5.1"
 description = "The behavioural half of clause 9: a suite an implementation of openkal runs against itself, selectable to the interfaces it provides."
 license     = "Apache-2.0"
 authors     = ["mcpplibs"]
@@ -18,7 +18,7 @@ repo        = "https://github.com/mcpplibs/openkal"
 # What it depends upon is therefore openkal and the language. The formatting in
 # okc.report is the price of that, and it is sixty lines.
 [dependencies]
-openkal = "0.5.0"
+openkal = "0.5.1"
 
 # The implementation under examination is not named here.
 #
diff --git a/mcpp.toml b/mcpp.toml
index 4e750bf..916e656 100644
--- a/mcpp.toml
+++ b/mcpp.toml
@@ -1,7 +1,7 @@
 [package]
 namespace   = "mcpplibs"
 name        = "openkal"
-version     = "0.5.0"
+version     = "0.5.1"
 description = "openkal: a portable kernel ABI specification. This package carries the normative declarations; implementations are separate packages."
 license     = "Apache-2.0"
 authors     = ["mcpplibs"]