1[wrap-file] 2source_url = https://archives.boost.io/release/1.80.0/source/boost_1_80_0.tar.bz2 3source_hash = 1e19565d82e43bc59209a168f5ac899d3ba471d55c7610c677d4ccf2c9c500c0 4source_filename = boost_1_80_0.tar.bz2 5 6directory = boost_1_80_0 7patch_directory = boost 8 9[provide] 10boost = boost_dep 11