{ stdenv, fetchgit, dhallPackages }:

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