From 085fedfef5b29ee5e496c45d5f7f718cf136041c Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 19 Mar 2020 15:36:11 +0530
Subject: [PATCH] Update dhallGenode

---
 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 02cf499..202d497 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 = "f05a2dbd8b675757d5d24276feaa66f4e5ab78a7";
-      sha256 = "0l3pjkcd3kajlkdwckggr9l9jxcjrkc86gngpmvfmvl5gkvz12k3";
+      rev = "f23e67a79d01b0fb37ccb23c5c7350dc74a8cbfd";
+      sha256 = "0j7bgw7f4272ay6j1d4s3yp8nw0abd6a85cqa6pm2qq5yvrfnmz0";
     };
   in src + "/package.dhall";