parent
8be4745bd5
commit
adff57ad62
|
@ -140,8 +140,8 @@ let
|
|||
|
||||
src = nixpkgs.fetchgit {
|
||||
url = "https://git.sr.ht/~ehmry/genode";
|
||||
rev = "f91c4824977ef907a86c6a5980d3cb556f6b8af3";
|
||||
sha256 = "18hmklnw092myr1yza0v1k7zi3dnc4x64kwlg46pf2rgnijxyhqr";
|
||||
rev = "5d4e72c874ef5ff2ff6fbb5a29e06a654bcc2712";
|
||||
sha256 = "0i4prwmv83vzvi1i2kb1qkk81qa1ydf2ayc516w5sg7niryaahb0";
|
||||
};
|
||||
|
||||
buildRepo = { env, repo, repoInputs }:
|
||||
|
|
Loading…
Reference in New Issue