Update upstream ref
This commit is contained in:
parent
4d51c1671f
commit
557bb6f119
|
@ -34,8 +34,8 @@ let
|
||||||
|
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://git.sr.ht/~ehmry/genode";
|
url = "https://git.sr.ht/~ehmry/genode";
|
||||||
rev = "d28abff776f94dc876662eb7dcdf5a6e81d26cc8";
|
rev = "c425f2b3448622675c36b02fdc00ed4948c09a00";
|
||||||
sha256 = "1ibw27s352c2si22y209q17api8gaqv7qsh70vh4wk9bfv1kgchx";
|
sha256 = "1b5q2s38bmk0zbn4k2h2ar6rlf9r0656fbf1s0gnb2jaqslmn2ql";
|
||||||
fetchSubmodules = false;
|
fetchSubmodules = false;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user