diff options
| author | GitHub <noreply@github.com> | 2023-04-28 03:14:13 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-28 03:14:13 +0000 |
| commit | 13d5bb2329eeb07784b67dd10b8f2149ca008bac (patch) | |
| tree | 811a2a26586035da43a78b206bd55189826fb847 /WORKSPACE | |
| parent | 8760e7243eec1b65fbb64c04121abdc3e8c4c156 (diff) | |
| download | rabbitmq-server-git-13d5bb2329eeb07784b67dd10b8f2149ca008bac.tar.gz | |
Adopt otp 25.3.1
Diffstat (limited to 'WORKSPACE')
| -rw-r--r-- | WORKSPACE | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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", |