diff --git a/dhall/genode.nix b/dhall/genode.nix
index 59e5f96..a8a5173 100644
--- a/dhall/genode.nix
+++ b/dhall/genode.nix
@@ -6,6 +6,6 @@
 
 fetchgit {
   url = "https://git.sr.ht/~ehmry/dhall-genode";
-  rev = "c9a9c18dc8dd45198dbf0a53732ca02079fee0fd";
-  sha256 = "1fcfyfcnm6snpagf3ii70p8vdy7na9lv6c3izlckyp6gvgadyyjn";
+  rev = "c0e952dc7ba9b3bc557f151da70e3766c3a08bf7";
+  sha256 = "1r34m9vgizr6gd76kahnxvkmx00j6ff16856znpi9pqaqziw8fiz";
 }