2
0
Fork 0
Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
genodepkgs/packages/dhall/genode.nix

11 lines
350 B

{ stdenv, fetchgit, dhallPackages }:
dhallPackages.buildDhallDirectoryPackage {
name = "dhall-genode";
src = fetchgit {
url = "https://git.sr.ht/~ehmry/dhall-genode";
rev = "01b99d53f597cac40c6b4761d6dd750fc89f63da";
sha256 = "1df4plhr72rhva9rdphlyq244j0rmldkpa7bj6mjzwarisdxw9vv";
};
dependencies = [ dhallPackages.Prelude ];
}