Skip to content

Commit

Permalink
Update slang digest to 5515200
Browse files Browse the repository at this point in the history
  • Loading branch information
renovate[bot] authored Jan 19, 2025
1 parent 89057c8 commit 8099522
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions WORKSPACE
Original file line number Diff line number Diff line change
Expand Up @@ -55,10 +55,10 @@ http_archive(
name = "slang",
build_file = "slang.BUILD",
patches = ["//external:slang.patch"],
sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e",
strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6",
sha256 = "502960edb13b4fd742b1c83415960836602460ea17aba958417fd2310961bdc3",
strip_prefix = "slang-551520083e9ec90d6ffef31c768561509432171f",
urls = [
"https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip",
"https://github.com/MikePopoloski/slang/archive/551520083e9ec90d6ffef31c768561509432171f.zip",
],
)

Expand Down

0 comments on commit 8099522

Please sign in to comment.