| [wrap-file] | |
| source_url = https://archives.boost.io/release/1.80.0/source/boost_1_80_0.tar.bz2 | |
| source_hash = 1e19565d82e43bc59209a168f5ac899d3ba471d55c7610c677d4ccf2c9c500c0 | |
| source_filename = boost_1_80_0.tar.bz2 | |
| directory = boost_1_80_0 | |
| patch_directory = boost | |
| [provide] | |
| boost = boost_dep |