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