genodepkgs/packages/dhall/genode.nix

{ 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 ];
}
Update to latest Dhall in Nixpkgs master 2020-03-18 12:57:00 +01:00			`{ stdenv, fetchgit, dhallPackages }:`
Add Dhall preludes 2019-08-18 18:42:13 +02:00
Update dhall-genode for Libc helper 2020-11-24 20:24:07 +01:00			`dhallPackages.buildDhallDirectoryPackage {`
Update Genode Dhall library Freeze the library when committing to the Nix store. The Init.toStart function now lowers an only-child automatically, so adjust the Timer service routes in tests accordingly. 2020-02-19 03:22:06 +01:00			`name = "dhall-genode";`
Update dhall-genode for Libc helper 2020-11-24 20:24:07 +01:00			`src = fetchgit {`
			`url = "https://git.sr.ht/~ehmry/dhall-genode";`
dhall-genode: update for Init/Config/Policy/toXML 2020-12-18 20:06:24 +01:00			`rev = "3a0472880282b0336ec13765f5a351498623f919";`
			`sha256 = "0s57nfvr5azmy6bw1fihj9x6nqdv00ja0nnb5bv411ic329lq2fp";`
Update dhall-genode for Libc helper 2020-11-24 20:24:07 +01:00			`};`
Refactor routing Patch init to simplify routing. Update Dhall library and NixOS modules accordingly. 2020-11-03 19:21:10 +01:00			`dependencies = [ dhallPackages.Prelude ];`
Update git revisions 2019-10-13 15:35:32 +02:00			`}`