From c814d56e75b17a9bc9ca67d4478624a5a591cb88 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Sat, 28 Oct 2023 16:28:47 +0000 Subject: [PATCH] Update slang digest to 6d4445e --- WORKSPACE | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/WORKSPACE b/WORKSPACE index 9daa16852..19af6be0d 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -78,10 +78,10 @@ http_archive( name = "slang", build_file = "slang.BUILD", patches = ["//external:slang.patch"], - sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e", - strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6", + sha256 = "57c4182dd40663f374777a28b4c9c49fe2fe2ca84ff09f8919c0b5db56a469ae", + strip_prefix = "slang-6d4445ebfabad2fc327f3f5fe33bbb53a6947f64", urls = [ - "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip", + "https://github.com/MikePopoloski/slang/archive/6d4445ebfabad2fc327f3f5fe33bbb53a6947f64.zip", ], )