Genode Packages collection
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.

genode.nix 458B

12345678910111213141516171819
  1. # SPDX-License-Identifier: CC0-1.0
  2. { stdenv, fetchgit, dhallPackages }:
  3. dhallPackages.buildDhallPackage {
  4. name = "dhall-genode";
  5. code = let
  6. src = fetchgit {
  7. url = "https://git.sr.ht/~ehmry/dhall-genode";
  8. rev = "8c547f017cba7780ce4334c0b4702f6c441b8819";
  9. sha256 = "1adpyigpha9iqmpdvrz8pl9sbgc65vdm9h37khm13w2kixwlkqq4";
  10. };
  11. in src + "/package.dhall";
  12. dependencies = [ dhallPackages.Prelude."13.0.0" ];
  13. source = true;
  14. }