Update slang digest to 72f4451

masc-ucsc · Nov 24, 2024 · 6cc747e · 6cc747e
1 parent 89057c8
commit 6cc747e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -55,10 +55,10 @@ http_archive(
     name = "slang",
     build_file = "slang.BUILD",
     patches = ["//external:slang.patch"],
-    sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e",
-    strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6",
+    sha256 = "f21b13141e3007161b71cdc6e68a40204b7003fd6befbf3d83ed2eaac19c63d0",
+    strip_prefix = "slang-72f44517e22392f7ca5ac9e05feaf4ac218cd9b3",
     urls = [
-        "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip",
+        "https://github.com/MikePopoloski/slang/archive/72f44517e22392f7ca5ac9e05feaf4ac218cd9b3.zip",
     ],
 )