From 0aba8e75bc50e624eb6adb2b89415795510c0475 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 5 Nov 2020 13:42:36 +0100
Subject: [PATCH] dhall-genode: update for policy diagnostic

---
 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 69a59b2..12941a8 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 = "dd8fc181d56389cf65ae4d2d628fd20c3e0a7981";
-      sha256 = "1bmly5jlpgl4r385ykmjkng4dzwcalh5cr25cnk2l16s8ysqwdsl";
+      rev = "1f5f9b1ad3d068923dc6b6bfbfe2341fa1d40070";
+      sha256 = "0wzb46zfimggaw3ygag5vrwkwbxkmqvckqgq4diwc61cxpkbbyv0";
     };
   in src + "/package.dhall";