From 72c4e4d2f31ea320dcd980091df5103029fd8348 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 15 May 2020 20:22:08 +0530
Subject: [PATCH] Update dhall-genode for Init.StateReport

---
 packages/dhall/genode.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/dhall/genode.nix b/packages/dhall/genode.nix
index d92bff2..480e095 100644
--- a/packages/dhall/genode.nix
+++ b/packages/dhall/genode.nix
@@ -8,8 +8,8 @@ dhallPackages.buildDhallPackage {
   code = let
     src = fetchgit {
       url = "https://git.sr.ht/~ehmry/dhall-genode";
-      rev = "5232afe7983ebdd152d33928cacbfa607c2d236e";
-      sha256 = "1kw11v8lnkq5jd5rygl6ql11g285lqqzq1cp14w3j34ah4jsqaxh";
+      rev = "e851da8676e1681f968772eb21692def09d0ea3a";
+      sha256 = "1m35d491lpxi25mkcrz87w75sc7k55xfn91ll915zp4f31a4n00d";
     };
   in src + "/package.dhall";