1 files changed, 15 insertions, 0 deletions
diff --git a/third_party/glog/default.nix b/third_party/glog/default.nix
new file mode 100644
index 000000000000..c51724e27bec
--- /dev/null
+++ b/third_party/glog/default.nix
@@ -0,0 +1,15 @@
+{ 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";
+  };
+})