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..2da96d8266c7 --- /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 = "551a2a63399589f97f503ddd8919f27bb2406354"; + sha256 = "1jrrj4qjwgqa3yjyr0apsz8hlq28rv77ll2w4xmjg2wf4z2fgj0h"; +}) {} |