diff options
Diffstat (limited to 'third_party/naersk.nix')
-rw-r--r-- | third_party/naersk.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/third_party/naersk.nix b/third_party/naersk.nix new file mode 100644 index 000000000000..c12c1abbbfa0 --- /dev/null +++ b/third_party/naersk.nix @@ -0,0 +1,9 @@ +{ pkgs, ... }: + +let inherit (pkgs) callPackage fetchFromGitHub; +in callPackage (fetchFromGitHub { + owner = "nmattia"; + repo = "naersk"; + rev = "68c1c2b2b661913cdc5ecabea518dfdc4f449027"; + sha256 = "1ll310pl44kdbwfslzwvg2v7khf1y0xkg2j5wcfia4k7sj6bcl28"; +}) {} |