Update upstream rev
parent
0af2761b44
commit
f63364b9fe
|
@ -40,8 +40,8 @@ let
|
|||
|
||||
src = fetchgit {
|
||||
url = "https://git.sr.ht/~ehmry/genode";
|
||||
rev = "e1d816fd76b2c7d86699cf5f4c0c56f77f968c72";
|
||||
sha256 = "1wckwv3cwmynnlm4nan81sk57xb95whn9c9k6592yvdw55lm29g1";
|
||||
rev = "ac3bbbde85a0e0e457ea40562263d7900179e6bb";
|
||||
sha256 = "1ss3yaw6ixwrqavjy78z3i3jp93d4wzqfpmn82sajnwl1i93l8g0";
|
||||
fetchSubmodules = false;
|
||||
};
|
||||
|
||||
|
|
Loading…
Reference in New Issue