diff options
Diffstat (limited to 'third_party/naersk')
-rw-r--r-- | third_party/naersk/default.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/third_party/naersk/default.nix b/third_party/naersk/default.nix new file mode 100644 index 000000000000..855e2bd01ba2 --- /dev/null +++ b/third_party/naersk/default.nix @@ -0,0 +1,10 @@ +{ pkgs, ... }: + +pkgs.callPackage + (pkgs.fetchFromGitHub { + owner = "nmattia"; + repo = "naersk"; + rev = "a3f40fe42cc6d267ff7518fa3199e99ff1444ac4"; + sha256 = "1nf7fn8anghwf6p5p58ywbcwdkjxq112qv663rn52jq9k95iakdi"; + }) +{ } |