From 64d8f03cc16d702a4632a5106a09696fb3cf30f4 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 18 Dec 2020 20:06:24 +0100
Subject: [PATCH] dhall-genode: update for Init/Config/Policy/toXML

---
 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 339d25b..c59d9c4 100644
--- a/packages/dhall/genode.nix
+++ b/packages/dhall/genode.nix
@@ -4,8 +4,8 @@ dhallPackages.buildDhallDirectoryPackage {
   name = "dhall-genode";
   src = fetchgit {
     url = "https://git.sr.ht/~ehmry/dhall-genode";
-    rev = "0ad5fee8090267e674cff4418adf462d6445e786";
-    sha256 = "1626wnj24zjs4j48wyb5qsk33dvk0zxa6ac8q3i1q3zla9rhr63j";
+    rev = "3a0472880282b0336ec13765f5a351498623f919";
+    sha256 = "0s57nfvr5azmy6bw1fihj9x6nqdv00ja0nnb5bv411ic329lq2fp";
   };
   dependencies = [ dhallPackages.Prelude ];
 }