boost: new distfiles location
Download location documented to replace the old, non-working one:
https://www.boost.org/users/news/boost_has_moved_downloads_to_jfr.html
>> Instead of: https://dl.bintray.com/boostorg/release/ you should use https://boostorg.jfrog.io/artifactory/main/release/ to retrieve boost releases.
Tested availability of the present version:
$ curl -I https://boostorg.jfrog.io/artifactory/main/release/1.72.0/source/boost_1_72_0.tar.bz2 2>&1|egrep Date\|256
Date: Sat, 10 Jul 2021 21:30:24 GMT
X-Checksum-Sha256: 59c9b274bc451cf91a9ba1dd2c7fdcaf5d60b1b3aa83f2c9fa143417cc660722
c65b5af503