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

17 lines
413 B

{ stdenv, fetchgit, dhallPackages }:
dhallPackages.buildDhallPackage {
name = "dhall-genode";
code = let
src = fetchgit {
url = "https://git.sr.ht/~ehmry/dhall-genode";
rev = "1f5f9b1ad3d068923dc6b6bfbfe2341fa1d40070";
sha256 = "0wzb46zfimggaw3ygag5vrwkwbxkmqvckqgq4diwc61cxpkbbyv0";
};
in src + "/package.dhall";
dependencies = [ dhallPackages.Prelude ];
source = true;
}