Update slang digest to 924583d

masc-ucsc · Jul 31, 2023 · 57c7d48 · 57c7d48
1 parent 39ed3ed
commit 57c7d48
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 = "8b26d89e8f0e8404ecebed917bb94b85259fc1cda0623c5f9208391b70b26c1d",
+    strip_prefix = "slang-924583d03b39081f6fcd68833824d41089bba6ae",
     urls = [
-        "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip",
+        "https://github.com/MikePopoloski/slang/archive/924583d03b39081f6fcd68833824d41089bba6ae.zip",
     ],
 )