diff options
Diffstat (limited to 'third_party/glog/default.nix')
-rw-r--r-- | third_party/glog/default.nix | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/third_party/glog/default.nix b/third_party/glog/default.nix deleted file mode 100644 index c51724e27bec..000000000000 --- a/third_party/glog/default.nix +++ /dev/null @@ -1,15 +0,0 @@ -{ pkgs, ... }: - -pkgs.originals.glog.overrideAttrs(old: { - version = "master-20200518"; - - # packaged version has a patch that is now in master. - patches = []; - - src = pkgs.fetchFromGitHub { - owner = "google"; - repo = "glog"; - rev = "0a2e5931bd5ff22fd3bf8999eb8ce776f159cda6"; - sha256 = "08yih0hc63j02p0ms4ydbgf2c13v2c7knjzp3qdin0v3sng896wg"; - }; -}) |