dhall-genode: update for policy diagnostic
This commit is contained in:
parent
5207303211
commit
5759d116ee
|
@ -6,8 +6,8 @@ dhallPackages.buildDhallPackage {
|
||||||
code = let
|
code = let
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
||||||
rev = "dd8fc181d56389cf65ae4d2d628fd20c3e0a7981";
|
rev = "1f5f9b1ad3d068923dc6b6bfbfe2341fa1d40070";
|
||||||
sha256 = "1bmly5jlpgl4r385ykmjkng4dzwcalh5cr25cnk2l16s8ysqwdsl";
|
sha256 = "0wzb46zfimggaw3ygag5vrwkwbxkmqvckqgq4diwc61cxpkbbyv0";
|
||||||
};
|
};
|
||||||
in src + "/package.dhall";
|
in src + "/package.dhall";
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user