From 6c4ebd2d93c9ebb4d7f821d75e6bbdb76b9357fe Mon Sep 17 00:00:00 2001
From: Sebastian Schmidt <mrschmidt@google.com>
Date: Wed, 8 Feb 2023 12:51:35 -0800
Subject: [PATCH] Pin version for com_google_audio_tools

PiperOrigin-RevId: 508158159
---
 WORKSPACE | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index 6675acba1..273c362b7 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -151,8 +151,9 @@ flatbuffers()
 
 http_archive(
     name = "com_google_audio_tools",
-    strip_prefix = "multichannel-audio-tools-master",
-    urls = ["https://github.com/google/multichannel-audio-tools/archive/master.zip"],
+    strip_prefix = "multichannel-audio-tools-1f6b1319f13282eda6ff1317be13de67f4723860",
+    urls = ["https://github.com/google/multichannel-audio-tools/archive/1f6b1319f13282eda6ff1317be13de67f4723860.zip"],
+    sha256 = "fe346e1aee4f5069c4cbccb88706a9a2b2b4cf98aeb91ec1319be77e07dd7435",
     repo_mapping = {"@com_github_glog_glog" : "@com_github_glog_glog_no_gflags"},
 )