{ stdenv, fetchgit, dhallPackages }:

dhallPackages.buildDhallDirectoryPackage {
  name = "dhall-genode";
  src = fetchgit {
    url = "https://git.sr.ht/~ehmry/dhall-genode";
    rev = "3a0472880282b0336ec13765f5a351498623f919";
    sha256 = "0s57nfvr5azmy6bw1fihj9x6nqdv00ja0nnb5bv411ic329lq2fp";
  };
  dependencies = [ dhallPackages.Prelude ];
}