updating boost url due to a redirection error

[mtao]

The current url gives me the following:

❯ wget https://boostorg.jfrog.io/artifactory/main/release/1.83.0/source/boost_1_83_0.tar.bz2
--2025-01-03 21:44:50--  https://boostorg.jfrog.io/artifactory/main/release/1.83.0/source/boost_1_83_0.tar.bz2
Resolving boostorg.jfrog.io... 18.214.194.113, 3.95.117.170, 18.232.172.199
Connecting to boostorg.jfrog.io|18.214.194.113|:443... connected.
HTTP request sent, awaiting response... 302 Moved Temporarily
Location: https://landing.jfrog.com/reactivate-server/boostorg [following]
--2025-01-03 21:44:50--  https://landing.jfrog.com/reactivate-server/boostorg
Resolving landing.jfrog.com... 18.214.194.113, 18.232.172.199, 3.95.117.170
Connecting to landing.jfrog.com|18.214.194.113|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 11534 (11K) [text/html]
Saving to: ‘boost_1_83_0.tar.bz2’

(note that the file is text/html / is not a tarball upon verification). Updating with a url found here:
https://www.boost.org/users/history/version_1_83_0.html

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.00%. Comparing base (68aacce) to head (760ff26).

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #83      +/-   ##
==========================================
+ Coverage   81.22%   82.00%   +0.77%     
==========================================
  Files          49       49              
  Lines        2008     2195     +187     
  Branches      268      268              
==========================================
+ Hits         1631     1800     +169     
- Misses        377      395      +18     

Flag	Coverage Δ
polysolve	82.00% <100.00%> (+0.77%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.