From f0762e152a7b6c663173f1b65957967fa970532e Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sun, 13 Oct 2019 15:35:32 +0200
Subject: [PATCH] Update git revisions

---
 dhall/genode.nix     | 10 +++++-----
 nixpkgs.nix          |  2 +-
 upstream/default.nix |  4 ++--
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/dhall/genode.nix b/dhall/genode.nix
index bc98f13..ca4294e 100644
--- a/dhall/genode.nix
+++ b/dhall/genode.nix
@@ -4,8 +4,8 @@
 
 { fetchgit }:
 
-fetchgit
-  { url = "https://git.sr.ht/~ehmry/dhall-genode";
-    rev = "77191aad45296782ae570fcd852e5d017b144e50";
-    sha256 = "10isqwr34szy7q1kyri1q7kgn1cjx17bzw9ks40safa7pz6wzrnz";
-  }
+fetchgit {
+  url = "https://git.sr.ht/~ehmry/dhall-genode";
+  rev = "031fb4ef77dc8a2dbe71fd806129b4eacfe0606a";
+  sha256 = "1hvy21w406fy01b9fag3pmz22zlnfdkz17fmrv2h8xxj5lci9z5n";
+}
diff --git a/nixpkgs.nix b/nixpkgs.nix
index e5b710b..4acfac1 100644
--- a/nixpkgs.nix
+++ b/nixpkgs.nix
@@ -2,5 +2,5 @@
 builtins.fetchGit {
   url = "https://github.com/ehmry/nixpkgs.git";
   ref = "hybrid-19.09";
-  rev = "9a704b7def9bc9ea04d12d6a0d55ebebe0af982a";
+  rev = "84f61071bd0290b6295f6aa5798e6af9ffe3abeb";
 }
diff --git a/upstream/default.nix b/upstream/default.nix
index 4d0f572..a18f5b0 100644
--- a/upstream/default.nix
+++ b/upstream/default.nix
@@ -40,8 +40,8 @@ let
 
       src = fetchgit {
         url = "https://git.sr.ht/~ehmry/genode";
-        rev = "69eb762e4a0f00424643411e599bfba46b75795b";
-        sha256 = "0p7nlk331b921ds94m59fnnl1d3zb719q3kayy2qkr2k6xi0pf17";
+        rev = "e1d816fd76b2c7d86699cf5f4c0c56f77f968c72";
+        sha256 = "1wckwv3cwmynnlm4nan81sk57xb95whn9c9k6592yvdw55lm29g1";
         fetchSubmodules = false;
       };