From 9349b3acb8aacc8e8d450a5859588509a81c1f8e Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 27 Feb 2020 17:33:41 +0100
Subject: [PATCH] Update dhall-genode

---
 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 015824f..0bb86a5 100644
--- a/packages/dhall/genode.nix
+++ b/packages/dhall/genode.nix
@@ -6,8 +6,8 @@ stdenv.mkDerivation {
   name = "dhall-genode";
   src = fetchgit {
     url = "https://git.sr.ht/~ehmry/dhall-genode";
-    rev = "8d489b24fad71df04e0facae561bac17a25cb2a5";
-    sha256 = "0ngp1ipypf72z7nxsx1xxc051yx3gw7556nfgwsplpxa2y9msp0q";
+    rev = "672325a0f2247041cfdf9b3b0c9642adbfbd58a0";
+    sha256 = "0iwniwkx0zcrfqv3dkjg5x5638xyxkhnqni4ydzg2b3bw4wa27id";
   };
   DHALL_PRELUDE = prelude + "/package.dhall";
   buildCommand = ''