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