Changeset 1fcb077

Timestamp:

01/08/2024 11:20:41 AM (5 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

12.1, ken/TL2024, lazarus, plabs/newcss, rahul/power-profiles-daemon, trunk, xry111/llvm18

Children:

b785dce2

Parents:

7ca69c6a

Message:

boost: Switch to GitHub for downloading

The boostorg.jfrog.io website is down. And GitHub also provides .xz
tarball which is smaller.

File:

• general/genlib/boost.xml (modified) (1 diff)

general/genlib/boost.xml

@@ -5 +5 @@
   %general-entities;
 
-  <!ENTITY boost-download-http "https://boostorg.jfrog.io/artifactory/main/release/&boost-version;/source/boost_&boost-dl-version;.tar.bz2">
+  <!ENTITY boost-download-http "https://github.com/boostorg/boost/releases/download/boost-&boost-version;/boost-&boost-version;.tar.xz">
   <!ENTITY boost-download-ftp  " ">
-  <!ENTITY boost-md5sum        "9dcd632441e4da04a461082ebbafd337">
-  <!ENTITY boost-size          "117 MB">
+  <!ENTITY boost-md5sum        "893b5203b862eb9bbd08553e24ff146a">
+  <!ENTITY boost-size          "90 MB">
   <!ENTITY boost-buildsize     "1.1 GB (199 MB installed)">
   <!ENTITY boost-time          "1.7 SBU (Using parallelism=4; add 0.1 SBU for tests)">