nix: Update CapDL rev

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 21, 2024 · ee20f2b · ee20f2b
1 parent 7c5d022
commit ee20f2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -28,7 +28,7 @@ let
 
   capdlCommon = {
     url = "https://github.com/coliasgroup/capdl.git";
-    rev = "1bd2aa7596ba418be33f314f880682e4fb8ef679"; # branch rust-testing
+    rev = "24c23ab0bbaaab3b30c7687a4c232b93da689cce"; # branch rust-testing
     local = localRoot + "/capdl";
   };