diff --git a/packages/genode/default.nix b/packages/genode/default.nix index 1e8f698..dadc2fd 100644 --- a/packages/genode/default.nix +++ b/packages/genode/default.nix @@ -140,8 +140,8 @@ let src = nixpkgs.fetchgit { url = "https://git.sr.ht/~ehmry/genode"; - rev = "42f93ce3da14663575f7f24d299315688facd545"; - sha256 = "1rjjmq4qx9vsm0cbnr9h5n2gr8zbw1dpnhqjlyfvs44andzps5qd"; + rev = "f91c4824977ef907a86c6a5980d3cb556f6b8af3"; + sha256 = "18hmklnw092myr1yza0v1k7zi3dnc4x64kwlg46pf2rgnijxyhqr"; }; buildRepo = { env, repo, repoInputs }: