From 13c526ac493ff55aea700fcc86fc4a2d43c52ec7 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Sun, 28 May 2023 12:05:09 +0000 Subject: [PATCH] chore(deps): update slang digest to eb3494d --- WORKSPACE | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/WORKSPACE b/WORKSPACE index f8ef31808..2c91f4885 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -79,10 +79,10 @@ http_archive( name = "slang", build_file = "slang.BUILD", patches = ["//external:slang.patch"], - sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e", - strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6", + sha256 = "af1be8b61ccc412babf29e149c38294c11fe75320879c7be497b411f5313e17f", + strip_prefix = "slang-eb3494d9a6d66df2dfeb4bda1b4222a7101eb69f", urls = [ - "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip" + "https://github.com/MikePopoloski/slang/archive/eb3494d9a6d66df2dfeb4bda1b4222a7101eb69f.zip" ], )