From 20ff35eef8c88c2c534b24e5c2edffb2c094cef3 Mon Sep 17 00:00:00 2001 From: GitHub Date: Thu, 19 Jan 2023 03:06:50 +0000 Subject: Adopt otp 25.1.2.1 --- WORKSPACE | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'WORKSPACE') diff --git a/WORKSPACE b/WORKSPACE index 05c18cfce4..b20aaf811b 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -78,9 +78,9 @@ http_file( http_file( name = "otp_src_25_1", - downloaded_file_path = "OTP-25.1.2.tar.gz", - sha256 = "b9ae7becd3499aeac9f94f9379e2b1b4dced4855454fe7f200a6e3e1cf4fbc53", - urls = ["https://github.com/erlang/otp/archive/OTP-25.1.2.tar.gz"], + downloaded_file_path = "OTP-25.1.2.1.tar.gz", + sha256 = "79f8e31bb9ff7d43a920f207ef104d1106b2332fdbadf11241d714eacb6d8d1a", + urls = ["https://github.com/erlang/otp/archive/OTP-25.1.2.1.tar.gz"], ) http_file( @@ -144,8 +144,8 @@ erlang_config( ), internal_erlang_from_github_release( name = "25_1", - sha256 = "5442dea694e7555d479d80bc81f1428020639c258f8e40b2052732d1cc95cca5", - version = "25.1.2", + sha256 = "1cd2fbe225a412009cda9b1fd9f3fff0293e75e3020daa48abf68721471e91eb", + version = "25.1.2.1", ), internal_erlang_from_github_release( name = "25_2", -- cgit v1.2.1