From edb705689a2e90b00e706779c980cee841cd8eb5 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 2 Nov 2020 16:02:16 +0100
Subject: [PATCH] Update dhall-genode for Init.reportRomBinary

---
 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 62a4ee5..c07cfcd 100644
--- a/packages/dhall/genode.nix
+++ b/packages/dhall/genode.nix
@@ -6,8 +6,8 @@ dhallPackages.buildDhallPackage {
   code = let
     src = fetchgit {
       url = "https://git.sr.ht/~ehmry/dhall-genode";
-      rev = "1a6b3609a778f1644bc2831c366c65cce854ae42";
-      sha256 = "1zcnja7wmjx8rlm38x0lkgdz7cfwnd4m6jkasczrf7jqr53j73kv";
+      rev = "76be33e6ae698087cc74922cedb6bc7c78476e1d";
+      sha256 = "1qbivk37w7plngd3d3ha93xnfgxj2jcw3r4x78p8v4x8d76qkjba";
     };
   in src + "/package.dhall";