From 13d8365df6db147610b8275ce19f4d0ddd21996b Mon Sep 17 00:00:00 2001
From: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Date: Thu, 23 Jul 2026 17:51:06 +1000
Subject: [PATCH] Cargo.lock: update versions

I updated 8b6f6d4343ec11de6ea40c646434b2966d5cfc96 but
didn't commit Cargo.lock

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
---
 Cargo.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 05b6a61e9..67bd2d7ad 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -135,7 +135,7 @@ checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
 
 [[package]]
 name = "initialiser"
-version = "2.3.0"
+version = "2.3.0-dev"
 dependencies = [
  "sel4-capdl-initializer",
 ]
@@ -194,7 +194,7 @@ checksum = "88904434abc2901f197fe8cc55f0445e7ded921dba5911dad2e2b39b48e663c4"
 
 [[package]]
 name = "microkit-tool"
-version = "2.3.0"
+version = "2.3.0-dev"
 dependencies = [
  "rkyv",
  "roxmltree",