From 13d5bb2329eeb07784b67dd10b8f2149ca008bac Mon Sep 17 00:00:00 2001 From: GitHub Date: Fri, 28 Apr 2023 03:14:13 +0000 Subject: Adopt otp 25.3.1 --- WORKSPACE | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'WORKSPACE') diff --git a/WORKSPACE b/WORKSPACE index 681084264c..783beea2ab 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -87,9 +87,9 @@ http_file( http_file( name = "otp_src_25_3", - downloaded_file_path = "OTP-25.3.tar.gz", - sha256 = "f4fc2c5e1da56eb659003015ab80c42e50cef1129cca8c14457a522d1793498d", - urls = ["https://github.com/erlang/otp/archive/OTP-25.3.tar.gz"], + downloaded_file_path = "OTP-25.3.1.tar.gz", + sha256 = "4fafc922e012419205eeea482eb1e8d838377477f39c3ba8fc398d8b69029e14", + urls = ["https://github.com/erlang/otp/archive/OTP-25.3.1.tar.gz"], ) http_file( @@ -137,8 +137,8 @@ erlang_config( ), internal_erlang_from_github_release( name = "25_3", - sha256 = "85c447efc1746740df4089d75bc0e47b88d5161d7c44e9fc4c20fa33ea5d19d7", - version = "25.3", + sha256 = "1d5e4b97a7cfa0afa8787ae60a66426806f55897085dde1fd553ac2db39a6082", + version = "25.3.1", ), internal_erlang_from_github_release( name = "26", -- cgit v1.2.1