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"; }; });