From 5a1b1b6718d9dc69d130fbf7317dea2357321f76 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Wed, 25 Oct 2023 07:26:25 +0000
Subject: [PATCH] nix: Bump Microkit

---
 hacking/nix/scope/sources.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
index 68fe047a0..4bbf381ff 100644
--- a/hacking/nix/scope/sources.nix
+++ b/hacking/nix/scope/sources.nix
@@ -65,7 +65,7 @@ in rec {
 
   microkit = fetchGit {
     url = "https://github.com/coliasgroup/microkit.git";
-    rev = "80069432ef126411128f2e2c3c95a6d171cb83fe"; # branch "rust-nix"
+    rev = "3dbabd1205cbee933b1ef42534d7a446f78821d0"; # branch "rust-nix"
     local = localRoot + "/microkit";
     # useLocal = true;
   };