From 406030cbdb5b3becf5895e9e422c6728d6449d44 Mon Sep 17 00:00:00 2001
From: Wanja Zaeske <wanja.zaeske@dlr.de>
Date: Wed, 10 Apr 2024 23:09:48 +0200
Subject: [PATCH] fix: yet another fod hash missmatch

It seems the commit in question was pushed after hashing, but authored
before the cutoff date (2024-03-25).
---
 pkgs/seL4-test.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/seL4-test.nix b/pkgs/seL4-test.nix
index de05357..3d30db5 100644
--- a/pkgs/seL4-test.nix
+++ b/pkgs/seL4-test.nix
@@ -21,7 +21,7 @@ stdenvNoLibs.mkDerivation rec {
   src = fetchGoogleRepoTool {
     url = "https://github.com/seL4/sel4test-manifest.git";
     rev = version;
-    hash = "sha256-s0VBUX6dX4GJJ2wU/8yCD1Vksr8aFm98xC+jt1uWM84=";
+    hash = "sha256-aPMSys7KgQ3J0MkHfD9Gxbg1GRBXv7UcoPYCP1py6bw=";
     latestCommitTimestamp = "2024-03-25";
   };