diff options
Diffstat (limited to 'third_party/josh/default.nix')
-rw-r--r-- | third_party/josh/default.nix | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/third_party/josh/default.nix b/third_party/josh/default.nix index a7e4b30b8e76..e82bf2df88da 100644 --- a/third_party/josh/default.nix +++ b/third_party/josh/default.nix @@ -2,19 +2,11 @@ { depot, pkgs, ... }: let - gitSrc = pkgs.fetchFromGitHub { + src = pkgs.fetchFromGitHub { owner = "esrlabs"; repo = "josh"; - rev = "1c1965deb0278de92452a597c092f16b531274ae"; - sha256 = "0a0ybx4dqr9gfcn1kqy2nirdsfbdwkfz24ljnri564c5381ccldw"; - }; - - src = pkgs.applyPatches { - name = "josh-src"; - src = gitSrc; - patches = [ - ./pin-git2-rev.patch - ]; + rev = "92fd7fb193d0df25b106207675f233cfe1d26d0d"; + sha256 = "0fzy9xbr0vnw239gl8famrqncn8pxlnwkfvy3gxl7c80d78yg9j7"; }; in depot.third_party.naersk.buildPackage { inherit src; |