From 21471b5754cc9f98bbce67f57d1eaa9d5a1e5a56 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sat, 20 Mar 2021 19:49:35 +0100
Subject: [PATCH] nimblePackages.genode: update to 20.11.1

---
 overlay/default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/overlay/default.nix b/overlay/default.nix
index 2353f6a..faec51f 100644
--- a/overlay/default.nix
+++ b/overlay/default.nix
@@ -185,11 +185,12 @@ in nullPkgs // {
     let pkgs' = flake.inputs.nimble.overlay (final // pkgs') final;
     in pkgs'.nimblePackages.extend (final: prev: {
 
-      genode = prev.genode.overrideAttrs (attrs: {
+      genode = prev.genode.overrideAttrs (attrs: rec {
+        version = "20.11.1";
         src = fetchgit {
           inherit (attrs.src) url;
-          rev = "27ab40d6cb8870ae306be5d09b7513db14bf4343";
-          sha256 = "1hzvyk6djnb65sl2x0sxc57vwaghvzyynp0pxvmnfbj08vp99v0m";
+          rev = "v${version}";
+          sha256 = "0i78idsrgph0g2yir6niar7v827y6qnmd058s6mpvp091sllvlv8";
         };
       });