parent
15d3588f33
commit
da38074890
|
@ -6,6 +6,6 @@
|
||||||
|
|
||||||
fetchgit {
|
fetchgit {
|
||||||
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
||||||
rev = "c9a9c18dc8dd45198dbf0a53732ca02079fee0fd";
|
rev = "c0e952dc7ba9b3bc557f151da70e3766c3a08bf7";
|
||||||
sha256 = "1fcfyfcnm6snpagf3ii70p8vdy7na9lv6c3izlckyp6gvgadyyjn";
|
sha256 = "1r34m9vgizr6gd76kahnxvkmx00j6ff16856znpi9pqaqziw8fiz";
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue